3733 search results - page 236 / 747 » Logics of communication and change |
140
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
ISCAS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
107
click to vote
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
144
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
IWFM
2003
15 years 2 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...