3765 search results - page 20 / 753 » Formal Methods for Systems Engineering Behavior Models |
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
EXPERT
2002
13 years 8 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
ICFEM
1998
Springer
14 years 25 days ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
LOGCOM
1998
13 years 8 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...