3104 search results - page 144 / 621 » Using quantitative analysis to implement autonomic IT system... |
175
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— As mobile robots become increasingly autonomous over extended periods of time, opportunities arise for their use on repetitive tasks. We define and implement behaviors for a c...
133
click to vote
APLAS
2000
ACM
15 years 8 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
135
click to vote
DL
2000
Springer
15 years 8 months ago
2000
Springer
Our project focuses on rapid formation and utilization of custom collections of information for groups focused on high-paced tasks. Assembling such collections, as well as organiz...
118
Voted
CTW
2002
15 years 3 months ago
2002
: Information Systems (IS) and technology are used extensively throughout the NHS, and the 1998 national information strategy, "Information for Health", sets out how the ...