2111 search results - page 111 / 423 » How to Program Pervasive Systems |
107
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
108
Voted
CCR
2006
15 years 21 days ago
2006
Wireless network researchers are seriously starved for data about how real users, applications, and devices use real networks under real network conditions. CRAWDAD, a Community R...
153
click to vote
JAISE
2010
14 years 7 months ago
2010
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
77
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...