6581 search results - page 1018 / 1317 » Formalizing Design Patterns |
172
click to vote
SPATIALCOGNITION
2004
Springer
16 years 1 days ago
2004
Springer
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...
169
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
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...
167
click to vote
ACSAC
2003
IEEE
16 years 9 hour ago
2003
IEEE
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...
176
click to vote
ACSD
2003
IEEE
16 years 8 hour ago
2003
IEEE
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...
180
click to vote
COOPIS
2003
IEEE
16 years 5 hour ago
2003
IEEE
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 ...