Browsing by Subject "Levels of abstraction"
Now showing items 1-5 of 5
-
Article
Long-lived Rambo: Trading knowledge for communication
(2004)Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...
-
Conference Object
Modeling context information for realizing simple mobile services
(2007)The emerging technology of mobile services is gaining on importance nowadays and various applications are being developed. Context-awareness constitutes an essential part of mobile services, as it can boost the provision ...
-
Article
On supporting security and privacy-preserving interaction through adaptive usable security
(2014)The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...
-
Article
A process calculus for dynamic networks
(2011)In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...
-
Conference Object
Tempo-toolkit: Tempo to java translation module
(2013)TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for ...