Sciweavers

3053 search results - page 426 / 611
» Web Engineering - Introduction
Sort
View
ICSE
2009
IEEE-ACM
16 years 11 days ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
COMPSAC
2008
IEEE
16 years 1 days ago
How to Enhance UDDI with Dependability Capabilities
How dependability is to be assessed and ensured during Web Service operation and how unbiased and trusted mechanisms supporting this are to be developed are still open issues. Thi...
Anatoliy Gorbenko, Alexander Romanovsky, Vyachesla...
COMPSAC
2008
IEEE
16 years 1 days ago
SCCM: Service-Oriented Community Coordinated Multimedia Architecture
Community coordinated multimedia (CCM) envisions the paradigm of consuming multiple media via diversity display devices, converged networks, and heterogeneous platforms within a v...
Jiehan Zhou, Mika Rautiainen, Mika Ylianttila
CSMR
2008
IEEE
16 years 1 days ago
Quantifying Maintainability in Feature Oriented Product Lines
Families of products are steadily emerging for distinct settings such as embedded systems, navigational systems, financial applications or even web applications. This shifts the a...
Gentzane Aldekoa, Salvador Trujillo, Goiuria Sagar...
139
Voted
KBSE
2008
IEEE
15 years 12 months ago
Composition of Qualitative Adaptation Policies
In a highly dynamic environment, software systems requires a capacity of self-adaptation to fit the environment and the user needs evolution, which increases the software archite...
Franck Chauvel, Olivier Barais, Isabelle Borne, Je...