Jonas Wagner

Learn More
Security vulnerabilities plague modern systems because writing secure systems code is hard. Promising approaches can retrofit security automatically via runtime checks that implement the desired security policy, these checks guard critical operations, like memory accesses. Alas, the induced slowdown usually exceeds by a wide margin what system users are(More)
This paper deals with the role of ontologies in collaborative systems. The research field of collaborative systems and their support by information and communication technologies describes theory called CSCW (computer supported cooperative work). During last few years the CSCW has been evolving and extending, e.g. CSCL (computer supported collaborative(More)
Developers rely on automated testing and verification tools to gain confidence in their software. The input to such tools is often generated by compilers that have been designed to generate code that runs fast, not code that can be verified easily and quickly. This makes the verification tool’s task unnecessarily hard. We propose that compilers support a(More)
This paper presents design, implementation and experimental verification of logging mechanism for collaborative systems that contains separate database for storing the logs of events from the system, communication services between database and examined system and some simple analytical services to provide basic summarized information about saved data. The(More)
The program chairs, Jason Flinn (University of Michigan) and Hank Levy (University of Washington), told the crowd that they had moved to shorter presentations, just 22 minutes, so they could fit four presentations into each session. By doing this, they raised the acceptance rate from the old range of 12–14% to 18%. There were 242 submissions, with 42 papers(More)
E-learning is increasingly being utilized outside higher and university education and its traditional market. One of such places is the education of the elderly using emerging technologies in effective and conducive ways. Moreover, the development of effective ICT solutions to improve daily life of elderly and disabled people gets more significant concern(More)
The paper addresses the concept of Technology Enhanced Learning, which is in focus of the IT4KT project of the Technical University of Kosice. Namely, we present an approach towards the collaborative design and implementation of semantic structures that are capable to support an automation in selected educational processes, especially in mathematical and(More)
Improving the lives of elderly people within suitable ICT solutions in combination with existing social or medical services represents a big challenge for not only public but also private sector. The aim is to provide easily understandable and applicable solutions in order to support their daily activities and to increase their quality of life. Moreover,(More)
Software packet-processing platforms—network devices running on general-purpose servers—are emerging as a compelling alternative to the traditional high-end switches and routers running on specialized hardware. Their promise is to enable the fast deployment of new, sophisticated kinds of packet processing without the need to buy and deploy expensive new(More)
  • 1