Sciweavers

4763 search results - page 350 / 953
» On the Execution of Deep Models
Sort
View
ECOWS
2007
Springer
16 years 1 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara
PVM
2005
Springer
16 years 9 days ago
Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic Cellular Automata Simulation
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
Marcus Komann, Christian Kauhaus, Dietmar Fey
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
16 years 9 days ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
PADS
2004
ACM
16 years 8 days ago
Event Reconstruction in Time Warp
In optimistic simulations, checkpointing techniques are often used to reduce the overhead caused by state saving. In this paper, we propose event reconstruction as a technique wit...
Lijun Li, Carl Tropper
HICSS
2003
IEEE
154views Biometrics» more  HICSS 2003»
16 years 4 days ago
Data-driven Methodology to Extending Workflows to E-services over the Internet
E-services refer to the services offered over the Internet. The globalization of economy accelerates the provision of e-services across organizations. Instead of being built from ...
Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till