Sciweavers

1049 search results - page 142 / 210
» A Value-Based Software Process Framework
Sort
View
CLEIEJ
2010
14 years 12 months ago
Quality Improvement in Annotated Code
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annotations at the applications classes as metadata configuration. However, despite i...
Diego A. A. Correia, Eduardo M. Guerra, Fáb...
DASFAA
2010
IEEE
307views Database» more  DASFAA 2010»
15 years 4 months ago
A General Maturity Model and Reference Architecture for SaaS Service
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
Seungseok Kang, Jaeseok Myung, Jongheum Yeon, Seon...
IFIP11
2004
114views Business» more  IFIP11 2004»
15 years 3 months ago
Update/Patch Management Systems: A Protocol Taxonomy with Security Implications
: Software fixes, patches and updates are issued periodically to extend the functional life cycle of software products. In order to facilitate the prompt notification, delivery, an...
Andrew M. Colarik, Clark D. Thomborson, Lech J. Ja...
172
Voted
PROCEDIA
2011
14 years 5 months ago
A Multilevel Parallelism Support for Multi-Physics Coupling
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
Fang Liu, Masha Sosonkina
SIGSOFT
2008
ACM
16 years 3 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan