10602 search results - page 1864 / 2121 » Weakly Useful Sequences |
204
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
192
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
184
click to vote
FAABS
2000
Springer
15 years 11 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
221
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
231
click to vote
IDEAL
2000
Springer
15 years 11 months ago
2000
Springer
In multi -agent systems based on softbots, communication architectures have significant influences on system performance as interaction and cooperation of softbots are carried out...