630 search results - page 59 / 126 » Stateful Aspects in JAsCo |
WOTUG
2008
15 years 1 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
100
click to vote
CLIMA
2004
15 years 1 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
103
click to vote
FLAIRS
2004
15 years 1 months ago
2004
Communication is an important aspect of teamwork, both in human teams and in multi-agent teams. One of the most vital roles for communication is for information exchange, such as ...
107
click to vote
MASCOTS
2001
15 years 1 months ago
2001
Effective engineering of the Internet is predicated upon a detailed understanding of issues such as the large-scale structure of its underlying physical topology, the manner in wh...
138
click to vote
WEBNET
2001
15 years 1 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...