2395 search results - page 164 / 479 » Reasoning in Semantic Wikis |
142
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
152
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
137
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
137
click to vote
FUIN
2007
15 years 4 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
133
click to vote
EKAW
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Semantic tools such as triple stores, reasoners and query engines tend to be designed for large-scale applications. However, with the rise of sensor networks, smart-phone...