2678 search results - page 189 / 536 » Operational Semantics of Transactions |
145
Voted
ECAI
2006
Springer
15 years 9 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...
148
Voted
SAIG
2000
Springer
15 years 9 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...
210
Voted
CORR
2011
Springer
15 years 19 days 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...
138
click to vote
ESWS
2009
Springer
16 years 21 days 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...
194
Voted
ESWS
2007
Springer
16 years 9 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...