4340 search results - page 837 / 868 » Formal Methods and Cryptography |
146
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
141
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
133
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
178
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
182
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...