1524 search results - page 280 / 305 » Operational Semantics of Hybrid Systems |
141
click to vote
AOSD
2009
ACM
16 years 2 days ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
153
click to vote
ICMI
2009
Springer
15 years 12 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...
132
Voted
IFIP
2009
Springer
15 years 12 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...
141
Voted
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
148
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...