65 search results - page 5 / 13 » EMMA: Explicit Model Checking Manager (Tool Presentation) |
WISE
2007
Springer
15 years 3 months ago
2007
Springer
Current problems in Business Process Management consist of terminology mismatches and unstructured and isolated knowledge representation in process models. Semantic Business Proces...
SIGSAND
2008
14 years 11 months ago
2008
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
ENVSOFT
2007
14 years 9 months ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium â€...
IUI
2003
ACM
15 years 2 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...