2173 search results - page 351 / 435 » An operational semantics for skeletons |
FM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
ICMI
2009
Springer
14 years 4 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
ICN
2009
Springer
14 years 4 months ago
2009
Springer
The established host-centric networking paradigm is challenged due to handicaps related with disconnected operation, mobility, and broken locator/identifier semantics. This paper...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...