12194 search results - page 43 / 2439 » cans 2010 |
111
click to vote
ENTCS
2006
15 years 16 days 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 ...
98
Voted
ENTCS
2006
15 years 16 days 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...
102
Voted
ENTCS
2006
15 years 16 days 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
15 years 16 days 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 ...
80
Voted
EOR
2006
15 years 16 days 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...