Sciweavers

1346 search results - page 154 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
VSMM
2007
Springer
16 years 18 days ago
Evolutionary Virtual Agent at an Exhibition
This paper describes the Evolutionary Virtual Agent (EVA) prototype designed as an interactive entertainment system for a multimedia exhibition. This implementation uses a behavior...
Jean-Claude Heudin
HYBRID
2003
Springer
15 years 11 months ago
Qualitative Heterogeneous Control of Higher Order Systems
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
Subramanian Ramamoorthy, Benjamin Kuipers
SEMWEB
2009
Springer
16 years 1 months ago
Reasoning in Metamodeling Enabled Ontologies
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
Nophadol Jekjantuk, Gerd Gröner, Jeff Z. Pan
ICTAI
2008
IEEE
16 years 28 days ago
Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang
RTCSA
1997
IEEE
15 years 10 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha