1398 search results - page 39 / 280 » Ensuring Properties of Interaction Systems |
120
click to vote
ACOM
2006
Springer
15 years 8 months ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
150
click to vote
TCS
2010
15 years 10 days ago
2010
The concept of stigmergy provides a simple framework for interaction and coordination in multi-agent systems. However, determining the global system behavior that will arise from ...
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...
119
click to vote
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
CHI
1992
ACM
15 years 6 months ago
1992
ACM
At EuroPARC, we have been exploring ways to allow physically separatedcolleagues to work together effectively and naturally. In this paper, we briefly discuss several examples of ...