252 search results - page 37 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
94
Voted
SPAA
1990
ACM
15 years 4 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
187
click to vote
Publication
The tremendous increase in the use of cellular phones, GPS-like devices, and RFIDs results in highly dynamic environments where objects as well as queries are continuously moving. ...
123
Voted
JIKM
2008
15 years 10 days ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
113
click to vote
SENSYS
2006
ACM
15 years 6 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
100
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
: The next generation of scientific experiments and studies, popularly called as e-Science, is carried out by large collaborations of researchers distributed around the world engag...