523 search results - page 64 / 105 » A Formal Account of WS-BPEL |
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
ECCB
2008
IEEE
15 years 4 months ago
2008
IEEE
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
102
click to vote
ARGMAS
2004
Springer
15 years 3 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
110
click to vote
TLDI
2003
ACM
15 years 3 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...