1524 search results - page 67 / 305 » Operational Semantics of Hybrid Systems |
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
89
Voted
MOBISYS
2006
ACM
15 years 9 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
ENTCS
2006
14 years 9 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
ENTCS
2007
14 years 9 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...