874 search results - page 13 / 175 » A Logic Framework for a Semantics of Object-Oriented Data Mo... |
148
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
136
Voted
WLP
2005
Springer
15 years 11 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
147
click to vote
FUIN
2008
15 years 5 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
152
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
158
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...