1878 search results - page 73 / 376 » Efficient Performance Models in Component-Based Software Eng... |
135
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
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...
141
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
146
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
123
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Many high-throughput genomic experiments, such as Synthetic Genetic Array and yeast two-hybrid, use colony growth on solid media as a screen metric. These experiments ...
171
click to vote
KBSE
2010
IEEE
15 years 27 days ago
2010
IEEE
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...