Sciweavers

2662 search results - page 287 / 533
» Objects-early tools: a demonstration
Sort
View
GECCO
2004
Springer
16 years 4 hour ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
ICFEM
2004
Springer
15 years 12 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
MIDDLEWARE
2004
Springer
15 years 12 months ago
Interoperability Among Independently Evolving Web Services
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
Shankar Ponnekanti, Armando Fox
VLDB
2004
ACM
123views Database» more  VLDB 2004»
15 years 12 months ago
CORDS: Automatic Generation of Correlation Statistics in DB2
When query optimizers erroneously assume that database columns are statistically independent, they can underestimate the selectivities of conjunctive predicates by orders of magni...
Ihab F. Ilyas, Volker Markl, Peter J. Haas, Paul G...
CLUSTER
2003
IEEE
15 years 12 months ago
"Plug-and-Play" Cluster Computing Using Mac OS X
At UCLA's Plasma Physics Group, to achieve accessible computational power for our research goals, we developed the tools to build numerically-intensive parallel computing clu...
Dean E. Dauger, Viktor K. Decyk