963 search results - page 134 / 193 » Formal Analysis of BPMN Models Using Event-B |
118
click to vote
AUTONOMICS
2008
ACM
15 years 3 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
110
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
118
click to vote
ASE
2006
15 years 1 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
WSC
2004
15 years 2 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...