1163 search results - page 225 / 233 » Case Studies of Model Checking for Embedded System Designs |
121
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
CIKM
2004
Springer
15 years 5 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
109
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooperati...
UIST
2010
ACM
14 years 9 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...