Sciweavers

5640 search results - page 417 / 1128
» The Primacy of Process Architecture
Sort
View
WETICE
2005
IEEE
16 years 13 days ago
Challenges and Solutions for Model Driven Web Service Composition
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
ASPLOS
1998
ACM
15 years 11 months ago
Active Disks: Programming Model, Algorithms and Evaluation
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
Anurag Acharya, Mustafa Uysal, Joel H. Saltz
CIKM
2010
Springer
15 years 4 months ago
Adaptive query execution for data management in the cloud
A major component of many cloud services is query processing on data stored in the underlying cloud cluster. The traditional techniques for query processing on a cluster are those...
Adrian Daniel Popescu, Debabrata Dash, Verena Kant...
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
16 years 7 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal
ICASSP
2008
IEEE
16 years 1 months ago
Decentralized set-membership adaptive estimation for clustered sensor networks
This paper proposes a clustering approach to parameter estimation in distributed sensor networks. The proposed approach is an alternative to the conventional centralized and decen...
Stefan Werner, Mobien Mohammed, Yih-Fang Huang, Vi...