264 search results - page 48 / 53 » Verifying Dribble Agents |
102
Voted
JAR
2008
15 years 1 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
106
Voted
COMPSEC
2004
15 years 26 days ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
140
Voted
CL
2002
Springer
15 years 26 days ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
115
Voted
RAS
2000
15 years 24 days ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...
105
Voted
TOPLAS
2010
14 years 11 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...