4690 search results - page 544 / 938 » An operational semantics for Scheme |
200
Voted
ICANN
2003
Springer
16 years 27 days ago
2003
Springer
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...
186
Voted
IPPS
2002
IEEE
16 years 19 days ago
2002
IEEE
Software-based distributed shared memory (DSM) systems do usually not provide any means to use shared memory regions as stacks or via an efficient heap memory allocator. Instead ...
176
Voted
VL
2002
IEEE
16 years 18 days ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
223
Voted
CONCUR
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
166
Voted
AUSAI
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...