2106 search results - page 344 / 422 » Operational Semantics for DyLPs |
176
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
150
click to vote
FDL
2003
IEEE
15 years 11 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...
178
click to vote
KBSE
2003
IEEE
15 years 11 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...
158
click to vote
ATAL
2003
Springer
15 years 11 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...
154
click to vote
CAEPIA
2003
Springer
15 years 11 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...