1162 search results - page 126 / 233 » Monotonic Semantic Interpretation |
158
click to vote
HICSS
2005
IEEE
16 years 14 hour 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...
133
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
169
click to vote
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
172
click to vote
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
167
click to vote
IWFM
1998
15 years 7 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...