882 search results - page 59 / 177 » Allowing State Changes in Specifications |
140
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
136
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
171
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
Caching in the World Wide Web currently follows a naive model, which assumes that resources are referenced many times between changes. The model also provides no way to update a c...
138
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Advances in genome science have created a surge of data. These data critical to scientific discovery are made available in thousands of heterogeneous public resources. Each of the...
201
click to vote
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Multidimensional association mining from data warehouse has become a knowledge discovery paradigm because it provides more specific conditional settings for target mining data, th...