12194 search results - page 43 / 2439 » cans 2010 |
ENTCS
2006
13 years 8 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
ENTCS
2006
13 years 8 months ago
2006
This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Developme...
ENTCS
2006
13 years 8 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
ENTCS
2006
13 years 8 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
EOR
2006
13 years 8 months ago
2006
We consider the problem of sharing the fixed costs of facilities among a number of users. Although the problem can be formulated and solved as an Integer Programme this provides l...