Sciweavers

6581 search results - page 1018 / 1317
» Formalizing Design Patterns
Sort
View
SPATIALCOGNITION
2004
Springer
16 years 18 days ago
Towards Dialogue Based Shared Control of Navigating Robots
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd K...
UML
2004
Springer
16 years 17 days ago
Applying Refactoring Techniques to UML/OCL Models
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
Alexandre L. Correa, Cláudia Maria Lima Wer...
ACSAC
2003
IEEE
16 years 16 days ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
16 years 16 days ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
COOPIS
2003
IEEE
16 years 16 days ago
The Semantics of the Compound Term Composition Algebra
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyra...
« Prev « First page 1018 / 1317 Last » Next »