1833 search results - page 72 / 367 » Mechanized Verification with Sharing |
108
Voted
ITNG
2010
IEEE
15 years 5 months ago
2010
IEEE
—The plethora of applications for Wireless Sensor Networks (WSN) has experienced significant growth in recent years. Every application has a different set of requirements and it ...
118
click to vote
E4MAS
2005
Springer
15 years 6 months ago
2005
Springer
Stigmergy (the coordination of agents through signs they make and sense in a shared environment) was originally articulated in the study of social insects. Its basic processes are ...
122
click to vote
COLCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes the architecture and implementation of a Java-based appliance for collaborative review of crashes involving injured children in order to determine mechanisms o...
105
Voted
ICS
2000
Tsinghua U.
15 years 4 months ago
2000
Tsinghua U.
Scheduling of processes onto processors of a parallel machine has always been an important and challenging area of research. The issue becomes even more crucial and di cult as we ...
136
Voted
CCR
2008
15 years 25 days ago
2008
An aggregate congestion control mechanism, namely ProbeAided MulTCP (PA-MulTCP), is proposed in this paper. It is based on MulTCP, a proposal for enabling an aggregate to emulate ...