71 search results - page 10 / 15 » Decidability Under the Well-Founded Semantics |
BPM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
PODS
2005
ACM
14 years 7 months ago
2005
ACM
Owners of sources registered in an information integration system, which provides answers to a (potentially evolving) set of client queries, need to know their contribution to the...
DEXA
2005
Springer
14 years 1 months ago
2005
Springer
In relational database systems a combination of privileges and views is employed to limit a user’s access and to hide non-public data. The data privacy problem is to decide wheth...
IRI
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...