4290 search results - page 607 / 858 » Formal Approaches to Teamwork |
191
click to vote
ICSEA
2006
IEEE
16 years 20 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
159
click to vote
IEEESCC
2006
IEEE
16 years 20 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
150
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneousl...
175
click to vote
RTAS
2006
IEEE
16 years 20 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
189
click to vote
INFOSCALE
2006
ACM
16 years 18 days ago
2006
ACM
— We consider the following situation for a given large-scale network: Starting from an initial node we move to its neighbor node and repeat that until reaching a target node. Ho...