193 search results - page 10 / 39 » pervasive 2010 |
102
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
TPDS
2010
14 years 10 months ago
2010
—Embedding small devices into everyday objects like toasters and coffee mugs creates a wireless network of objects. These embedded devices can contain a description of the underl...
106
Voted
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
PERVASIVE
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we present the design and development of 12Pixels, a novel interface, application, and social web service that allows people to create and share drawings directly fro...
117
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...