1953 search results - page 194 / 391 » Normative system games |
145
click to vote
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
144
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
178
click to vote
WOA
2004
15 years 5 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
147
click to vote
TEDU
2008
15 years 2 months ago
2008
Abstract. Traditionally, medical education has used live patients to teach medical procedures. This carries a significant risk to patients. As learning technology advances, the ear...
141
click to vote
GAMESEC
2010
15 years 1 months ago
2010
Abstract. Users of mobile networks can change their identifiers in regions called mix zones in order to defeat the attempt of third parties to track their location. Mix zones must ...