Sciweavers

2827 search results - page 344 / 566
» CCured in the real world
Sort
View
VLDB
2007
ACM
128views Database» more  VLDB 2007»
16 years 7 months ago
Automating the Detection of Snapshot Isolation Anomalies
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, ...
MOBISYS
2007
ACM
16 years 6 months ago
NodeMD: diagnosing node-level faults in remote wireless sensor systems
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...
Veljko Krunic, Eric Trumpler, Richard Han
ICWS
2009
IEEE
16 years 3 months ago
SOA-Based Integration of the Internet of Things in Enterprise Services
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...
Patrik Spiess, Stamatis Karnouskos, Dominique Guin...
MICAI
2009
Springer
16 years 1 months ago
People Detection by a Mobile Robot Using Stereo Vision in Dynamic Indoor Environments
People detection and tracking is a key issue for social robot design and effective human robot interaction. This paper addresses the problem of detecting people with a mobile robo...
José Alberto Méndez-Polanco, Ang&eac...
ACMACE
2009
ACM
16 years 1 months ago
The impact of virtual teamwork on real-world collaboration
With the rapid advance of online gaming and virtual reality technology, virtual teamwork has become increasingly popular. People spend more and more time working with others in 3D...
Lin Qiu, Wendy Weini Tay, Junwei Wu