Sciweavers

9842 search results - page 331 / 1969
» Compositional timing analysis
Sort
View
OHS
2001
Springer
15 years 9 months ago
Revisiting and Versioning in Virtual Special Reports
Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...
Sébastien Iksal, Serge Garlatti
ICWS
2008
IEEE
15 years 6 months ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...
BMCBI
2008
94views more  BMCBI 2008»
15 years 4 months ago
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
Background: Malaria parasite secretes various proteins in infected RBC for its growth and survival. Thus identification of these secretory proteins is important for developing vac...
Ruchi Verma, Ajit Tiwari, Sukhwinder Kaur, Grish C...
TGC
2007
Springer
15 years 11 months ago
Location-Aware Quality of Service Measurements for Service-Level Agreements
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Cla...
EMSOFT
2003
Springer
15 years 10 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...