9210 search results - page 1391 / 1842 » Analyzing Real-Time Systems |
136
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous grasp quality research is mainly theoretical, and has assumed that contact types and positions are given, in order to preserve the generality of the proposed quality meas...
199
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
Increasingly, multi-agent systems are being designed for a variety of complex, dynamic domains. E ective agent interactions in such domains raise some of most fundamental research...
176
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wr...
153
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
185
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...