Sciweavers

4385 search results - page 620 / 877
» Abstraction for Concurrent Objects
Sort
View
EMSOFT
2001
Springer
15 years 11 months ago
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
Tak-John Koo, Judith Liebman, Cedric Ma, Shankar S...
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
PACT
2001
Springer
15 years 11 months ago
Web-Based Parallel Simulation of AGVs Using Java and JINI
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
Rong Ye, Wen-Jing Hsu, Zehua Liu
RE
2001
Springer
15 years 11 months ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
SCALESPACE
2001
Springer
15 years 11 months ago
Morphological Tools for Robust Key-Region Extraction and Video Shot Modeling
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...
Javier Ruiz Hidalgo, Philippe Salembier