119 search results - page 24 / 24 » Towards an Operational Semantics for Alloy |
EGC
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes a research project about robot control across a computing Grid, ļ¬rst step toward a Grid solution for generic process control. A computational Grid can signiļ...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
How close are we to a world in which mechanically veriļ¬ed software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
JHSN
2000
13 years 4 months ago
2000
In order to achieve the best application-level Quality-of-Service (QoS), multimedia applications need to be dynamically tuned and reconfigured to adapt to fluctuating computing an...
LOGCOM
1998
13 years 4 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a speciļ¬ed se...