265 search results - page 34 / 53 » entcs 2007 |
61
Voted
ENTCS
2007
14 years 10 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
ENTCS
2007
14 years 10 months ago
2007
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
ENTCS
2007
14 years 10 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
ENTCS
2007
14 years 10 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
80
Voted
ENTCS
2007
14 years 10 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...