3733 search results - page 343 / 747 » Logics of communication and change |
168
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
200
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Agents are situated autonomous entities that perceive and act in their environment, and communicate with other agents. An agent usually starts a conversation by querying another a...
160
Voted
DAGSTUHL
2004
15 years 8 months ago
2004
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
194
click to vote
IJCAI
2001
15 years 8 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
170
click to vote
WSC
2001
15 years 8 months ago
2001
Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...