1099 search results - page 118 / 220 » Petri net ontology |
163
click to vote
DSS
2007
15 years 6 months ago
2007
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
199
click to vote
EMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
161
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
131
click to vote
WS
2008
ACM
15 years 6 months ago
2008
ACM
This article presents YAGO, a large ontology with high coverage and precision. YAGO has been automatically derived
154
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...