Sciweavers

3181 search results - page 21 / 637
» Automated Deployment Support for Parallel Distributed Comput...
Sort
View
PPAM
2001
Springer
14 years 1 months ago
Combining Parallel and Distributed Search in Automated Equational Deduction
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
Carsten Sinz, Jörg Denzinger, Jürgen Ave...
ICDCS
2005
IEEE
14 years 2 months ago
Resource-Aware Distributed Stream Management Using Dynamic Overlays
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
Vibhore Kumar, Brian F. Cooper, Zhongtang Cai, Gre...
FIDJI
2003
Springer
14 years 2 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese