4469 search results - page 828 / 894 » A Language for Role Specifications |
201
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
162
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
197
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
Philosophy, artificial intelligence and cognitive science have long been dominated by the presupposition that intelligence is fundamentally individual. Recent work in cognitive sci...
174
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Data-driven array architectures seem to be important alternatives for coarse-grained reconfigurable computing platforms. Their use has provided performance improvements over micro...
203
click to vote
DIM
2005
ACM
15 years 7 months ago
2005
ACM
Identity federation is a powerful scheme that links accounts of users maintained distinctly by different business partners. The concept of network identity is a driver for accele...