7526 search results - page 1166 / 1506 » The Design and Implementation of the A2QM3 System |
176
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
159
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
191
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
167
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Increasing miniaturization is posing multiple challenges to electronic designers. In the context of Multi-Processor System-onChips (MPSoCs), we focus on the problem of implementin...
170
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...