4690 search results - page 543 / 938 » An operational semantics for Scheme |
211
Voted
EDOC
2003
IEEE
16 years 1 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...
189
Voted
FDL
2003
IEEE
16 years 1 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...
216
Voted
KBSE
2003
IEEE
16 years 29 days 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...
184
Voted
ATAL
2003
Springer
16 years 28 days 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...
193
Voted
CAEPIA
2003
Springer
16 years 28 days 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...