1569 search results - page 126 / 314 » Automated Design Improvement by Example |
114
Voted
ECIS
2003
15 years 5 months ago
2003
Co-ordination is seen as a fundamental aspect of organisational activity where computers can help. This is motivated by the need to reconcile the conflicts that arise from the div...
123
Voted
PTS
1998
15 years 4 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
98
Voted
WSC
2000
15 years 4 months ago
2000
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...
CORR
2000
Springer
15 years 3 months ago
2000
Springer
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
113
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...