12981 search results - page 2529 / 2597 » Model Checking and Abstraction |
173
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Wireless sensor networks (WSNs) are medium scale manifestations of a paintable or amorphous computing paradigm. WSNs are becoming increasingly important as they attain gr...
126
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
135
Voted
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
163
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...
148
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...