2136 search results - page 289 / 428 » A Game-Theoretic Operational Semantics |
150
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Modern architectures, such as the Intel Itanium, support speculation, a hardware mechanism that allows the early execution of expensive operations—possibly even before it is kno...
136
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
130
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
144
click to vote
ICANN
2003
Springer
15 years 10 months 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...
127
click to vote
IPPS
2002
IEEE
15 years 9 months 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 ...