Sciweavers

832 search results - page 118 / 167
» Declarative Specification of Software Architectures
Sort
View
SSR
2001
146views more  SSR 2001»
13 years 11 months ago
Implementing product line variabilities
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
Cristina Gacek, Michalis Anastasopoules
PROCOMET
1998
13 years 11 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
WWW
2004
ACM
14 years 10 months ago
A framework for the server-side management of conversations with web services
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
Liliana Ardissono, Davide Cardinio, Giovanna Petro...
IJMMS
1998
75views more  IJMMS 1998»
13 years 9 months ago
Knowledge modeling directed by situation-specific models
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
Michel Benaroch
ICSE
2004
IEEE-ACM
14 years 10 months ago
Architecting and Implementing Versatile Dependability
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...
Tudor Dumitras, Deepti Srivastava, Priya Narasimha...