4418 search results - page 811 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
152
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...
226
click to vote
ISWC
1998
IEEE
15 years 10 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...
194
click to vote
DAC
2008
ACM
15 years 8 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
179
click to vote
ARCS
2009
Springer
16 years 26 days ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
159
click to vote
QEST
2007
IEEE
16 years 16 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...