963 search results - page 22 / 193 » Formal Analysis of BPMN Models Using Event-B |
ESORICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
100
Voted
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...
102
click to vote
ICFCA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
113
Voted
ENTCS
2008
14 years 11 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...