2128 search results - page 227 / 426 » A general characterization of indulgence |
164
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
159
click to vote
SMA
1997
ACM
15 years 10 months ago
1997
ACM
: Modeling of families of geometric objects is a major topic in modern geometric and solid modeling. Object families are central to many important solid modeling applications, incl...
168
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
211
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...
170
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Portable devices have more data storage and increasing communication capabilities everyday. In addition to classic infrastructure based communication, these devices can exploit hu...