5077 search results - page 885 / 1016 » Perspectives on grid computing |
141
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
155
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
138
Voted
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The call for a "focus on content" in ontology research by Nicola Guarino and Mark Musen in their launching statement of the journal Applied Ontology has quite s...
170
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
138
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...