3733 search results - page 142 / 747 » Logics of communication and change |
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
105
click to vote
ECBS
2008
IEEE
15 years 7 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
124
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
Trust networks consist of transitive trust relationships between people, organisations and software agents connected through a medium for communication and interaction. By formali...
105
click to vote
LOGCOM
2007
15 years 1 months ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
110
click to vote
ICDCS
1998
IEEE
15 years 5 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...