2748 search results - page 451 / 550 » Generating Object-Z Specifications from Use Cases |
140
click to vote
SIMULATION
1998
15 years 3 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
115
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Many modern systems exploit data redundancy to improve efficiency. These systems split data into chunks, generate identifiers for each of them, and compare the identifiers among ot...
122
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Software development is always a challenging undertaking and it requires high commitments from individuals who participate in it. Software development often involves new technolog...
138
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
129
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper proposes the use of optical flow from a moving robot to provide force feedback to an operator’s joystick to facilitate collision free teleoperation. Optic flow i...