2748 search results - page 255 / 550 » Generating Object-Z Specifications from Use Cases |
148
click to vote
CGF
2010
15 years 4 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
185
click to vote
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
181
click to vote
TIT
2010
14 years 10 months ago
2010
We directly lower bound the information capacity for channels with i.i.d. deletions and duplications. Our approach differs from previous work in that we focus on the information ca...
163
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
161
click to vote
EON
2008
15 years 5 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...