Sciweavers

254 search results - page 14 / 51
» Deriving test plans from architectural descriptions
Sort
View
OGAI
1991
14 years 1 months ago
Knowledge-Based Generation of Illustrated Documents
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
Wolfgang Wahlster, Elisabeth André, Som Ban...
ACSAC
2003
IEEE
14 years 3 months 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
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
14 years 3 months ago
Optimization Techniques for ADL-Driven RTL Processor Synthesis
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
Oliver Schliebusch, Anupam Chattopadhyay, Ernst Ma...
CMOT
2011
13 years 1 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
CAPTECH
1998
Springer
14 years 2 months ago
Goal-Directed Navigation for Animated Characters Using Real-Time Path Planning and Control
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...
James J. Kuffner Jr.