2685 search results - page 256 / 537 » A Formal Semantics for SPKI |
166
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
219
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
160
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
164
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
175
click to vote
CAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...