2678 search results - page 402 / 536 » Operational Semantics of Transactions |
113
click to vote
FDL
2003
IEEE
15 years 9 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...
148
click to vote
KBSE
2003
IEEE
15 years 9 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...
135
click to vote
ATAL
2003
Springer
15 years 9 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...
128
click to vote
CAEPIA
2003
Springer
15 years 9 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...
142
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...