4290 search results - page 312 / 858 » Formal Approaches to Teamwork |
169
Voted
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
262
click to vote
FAABS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
182
click to vote
ITS
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
204
click to vote
LPAR
2004
Springer
16 years 6 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
184
click to vote
SAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...