4814 search results - page 669 / 963 » Combining abstract interpreters |
108
Voted
SELMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
105
Voted
ESORICS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
105
Voted
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
135
Voted
CLEF
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Recent research has suggested that there is no general similarity measure, which can be applied on arbitrary databases without any parameterization. Hence, the optimal co...
127
Voted
ICPP
2002
IEEE
15 years 6 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...