2688 search results - page 124 / 538 » A formal semantics for P3P |
148
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
172
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
169
click to vote
SEMWIKI
2008
15 years 7 months ago
2008
This paper presents a tool for semantic personal knowledge management called Hypertext Knowledge Workbench (HKW), an editor and browser for semantic personal knowledge models. The ...
178
click to vote
KI
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
158
click to vote
HICSS
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...