6167 search results - page 866 / 1234 » Can Refinement be Automated |
150
click to vote
APNOMS
2006
Springer
15 years 9 months ago
2006
Springer
This paper proposes a policy-based management framework for self-managed wireless sensor networks (WSNs) called SNOWMAN (SeNsOr netWork MANagement). In WSNs, a number of sensor nod...
150
click to vote
CF
2004
ACM
15 years 9 months ago
2004
ACM
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
136
click to vote
AUSAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The notable developments in pervasive and wireless technology enable us to collect enormous sensor data from each individual. With contextaware technologies, these data c...
155
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
156
click to vote
CIA
2006
Springer
15 years 9 months ago
2006
Springer
Cooperative autonomous agents form coalitions in order to share and combine resources and services to efficiently respond to market demands. With the variety of resources and servi...