3233 search results - page 260 / 647 » Rule Modeling and Markup |
139
click to vote
DEXAW
2004
IEEE
15 years 9 months ago
2004
IEEE
: A crucial prerequisite to externalized adaptation is an understanding of how components are interconnected, or more particularly how and why they depend on one another. Such depe...
152
Voted
ICCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
138
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
138
click to vote
DBSEC
2007
15 years 7 months ago
2007
Abstract. Modern information systems require temporal and privilegeconsuming usage of digital objects. To meet these requirements, we present a new access control model–Times-bas...
160
Voted
DEXA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...