2911 search results - page 292 / 583 » A Logic of Graph Constraints |
182
click to vote
MMMACNS
2005
Springer
16 years 5 days ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
269
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
187
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
190
click to vote
IEEESCC
2005
IEEE
16 years 8 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
184
click to vote
CAL
2007
15 years 6 months ago
2007
—The design of scalable and reliable interconnection networks for multicore chips (NoCs) introduces new design constraints like power consumption, area, and ultra low latencies. ...