3765 search results - page 101 / 753 » Formal Methods for Systems Engineering Behavior Models |
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
135
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
146
click to vote
INFORMS
1998
15 years 2 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
112
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
127
click to vote
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...