2060 search results - page 92 / 412 » The Composition of Event-B Models |
143
click to vote
AAAI
2007
15 years 6 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
123
click to vote
INTERACT
2003
15 years 5 months ago
2003
: One of the main operations in conceptual 3D design is the rearrangement of single and composite objects. This paper presents a new conceptual 3D design system that affords easy m...
139
Voted
ENTCS
2006
15 years 4 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
193
click to vote
DISCO
1993
15 years 8 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
123
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...