2678 search results - page 189 / 536 » Operational Semantics of Transactions |
158
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
158
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
216
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The basis of consciousness is an association of notions, the neuronal network. Similarly, the creation of a next generation internet (semantic web) is impossible without attributes...
147
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
201
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...