2111 search results - page 126 / 423 » How to Program Pervasive Systems |
121
click to vote
ENTCS
2007
15 years 20 days ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
103
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Domestic ubicomp applications often assume individual users will program and configure their technology in isolation, decoupled from complex domestic environments in which they ar...
89
Voted
DCOSS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
122
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
115
click to vote
FUIN
2010
14 years 10 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...