854 search results - page 145 / 171 » Addressing Dynamic Issues of Program Model Checking |
122
click to vote
ISCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
125
click to vote
CCGRID
2005
IEEE
15 years 7 months ago
2005
IEEE
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
118
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— The aim of this paper is to investigate how stigmergic information allow each individual of a group of autonomous robots to take advantages from other individual behaviors. The...
129
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
Techniques that support effective communication during teamwork processes are of particular importance. Psychological study shows that an effective team often can anticipate infor...
88
Voted
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...