1940 search results - page 259 / 388 » The Dynamic Logic of Permission |
312
click to vote
IPM
2007
15 years 6 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
254
click to vote
JAPLL
2008
15 years 6 months ago
2008
Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to...
185
click to vote
ICDT
2010
ACM
15 years 5 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
181
click to vote
EDBTW
2010
Springer
15 years 5 months ago
2010
Springer
Spatial data warehouses (SDW) rely on extended multidimensional (MD) models in order to provide decision makers with appropriate structures to intuitively analyse spatial data. Se...
217
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...