2685 search results - page 113 / 537 » A Formal Semantics for SPKI |
UML
2005
Springer
14 years 1 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
ERSA
2009
13 years 5 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
FAST
2009
13 years 5 months ago
2009
The notion of RDF Named Graphs has been proposed in order to assign provenance information to data described using RDF triples. In this paper, we argue that named graphs alone can...
COMMA
2010
13 years 2 months ago
2010
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
COMMA
2010
13 years 2 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...