920 search results - page 87 / 184 » Architectural Interaction Diagrams: AIDs for System Modeling |
81
Voted
JLP
2006
14 years 10 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
97
Voted
SAM
2004
14 years 11 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
WSC
1997
14 years 11 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
101
Voted
FLAIRS
2003
14 years 11 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
ICFEM
2003
Springer
15 years 3 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...