2678 search results - page 402 / 536 » Operational Semantics of Transactions |
115
click to vote
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
149
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 9 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...