Sciweavers

613 search results - page 20 / 123
» Executable Visual Contracts
Sort
View
STEP
2005
IEEE
14 years 4 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 5 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
IPPS
1998
IEEE
14 years 3 months ago
VPPB - A Visualization and Performance Prediction Tool for Multithreaded Solaris Programs
Efficient performance tuning of parallel programs is often hard. In this paper we describe an approach that uses a uni-processor execution of a multithreaded program as reference ...
Magnus Broberg, Lars Lundberg, Håkan Grahn
SC
1992
ACM
14 years 3 months ago
The Distributed Virtual Windtunnel
An implementation of a distributed virtual environment for the shared interactive visualization of large unsteady three-dimensional flowfields is described. Computation of the vis...
Steve Bryson, Michael J. Gerald-Yamasaki
ICSE
2009
IEEE-ACM
14 years 5 months ago
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
Javier Cámara, José Antonio Mart&iac...