1450 search results - page 188 / 290 » A New General Purpose Parallel Database System |
167
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
A Wireless Sensor Network (WSN) for Structural Health Monitoring (SHM) is designed, implemented, deployed and tested on the 4200ft long main span and the south tower of the Golden...
141
click to vote
IVA
2005
Springer
15 years 10 months ago
2005
Springer
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
126
click to vote
SIGUCCS
2004
ACM
15 years 10 months ago
2004
ACM
Communities of practice are not a new idea, but they are being looked at more closely as an important tool for learning and mastering knowledge challenges. Communities of practice...
127
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
140
click to vote
SIAMCOMP
2002
15 years 4 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...