1712 search results - page 312 / 343 » Assistive technology in computer science |
115
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
160
Voted
EUMAS
2006
15 years 3 months ago
2006
We present a general Multi-Agent System framework for distributed data mining based on a Peer-toPeer model. The framework adopts message-based asynchronous communication and a dyn...
122
click to vote
PDCN
2004
15 years 3 months ago
2004
A novel combination of emergent algorithmic methods, powerful computational platforms and supporting infrastructure is described. These complementary tools and technologies are us...
140
click to vote
COMPUTER
2004
15 years 1 months ago
2004
Environmental Sensor Networks (ESNs) facilitate the study of fundamental processes and the development of hazard response systems. They have evolved from passive logging systems t...
189
click to vote
GRID
2010
Springer
14 years 11 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...