Sciweavers

2933 search results - page 305 / 587
» Agent-Grid Integration Language
Sort
View
UML
2001
Springer
15 years 8 months ago
Calculating with Concepts: a Technique for the Development of Business Process Support
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
Remco M. Dijkman, Luís Ferreira Pires, Stef...
UML
2001
Springer
15 years 8 months ago
RIGR - A Repository Model Based Approach to Management
: Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportun...
Ray Trask, Robert B. France
ECRTS
2000
IEEE
15 years 8 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
ASPLOS
2000
ACM
15 years 8 months ago
System Architecture Directions for Networked Sensors
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
Jason L. Hill, Robert Szewczyk, Alec Woo, Seth Hol...
VRML
2000
ACM
15 years 8 months ago
VRML with constraints
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
Stephan Diehl, Jörg Keller