237 search results - page 20 / 48 » Modeling Mental States in Agent-Oriented Requirements Engine... |
UML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
FSTTCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
SG
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
96
Voted
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...