11168 search results - page 2048 / 2234 » Abstract State Processes |
138
click to vote
FMICS
2010
Springer
15 years 25 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
107
Voted
DASFAA
2008
IEEE
15 years 24 days ago
2008
IEEE
Abstract. Online games and location-based services now form the potential application domains for the P2P paradigm. In P2P systems, balancing the workload is essential for overall ...
136
click to vote
HASE
2008
IEEE
15 years 24 days ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
93
Voted
AAMAS
2008
Springer
15 years 24 days ago
2008
Springer
Abstract Multi-agent simulation is applied to explore how different types of task variety cause workgroups to change their task allocation accordingly. We studied two groups, gener...
91
Voted
ACS
2007
15 years 24 days ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...