Sciweavers

918 search results - page 75 / 184
» Supporting Web Application Evolution by Dynamic Analysis
Sort
View
ICSOC
2004
Springer
15 years 8 months ago
Toward autonomic web services trust and selection
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
E. Michael Maximilien, Munindar P. Singh
154
Voted
FMCAD
2000
Springer
15 years 6 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
HICSS
2007
IEEE
126views Biometrics» more  HICSS 2007»
15 years 5 months ago
Model Driven Design and Implementation of Statistical Surveys
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
Chul Hwee Kim, John G. Hosking, John C. Grundy
PDP
2010
IEEE
15 years 10 months ago
SLA-driven Elastic Cloud Hosting Provider
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...
Josep Oriol Fito, Iñigo Goiri, Jordi Guitar...
FASE
2008
Springer
15 years 4 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...