1366 search results - page 213 / 274 » Modularizing Contexted Constraints |
104
click to vote
SRDS
2007
IEEE
15 years 9 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
110
Voted
GTTSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
ICSOC
2007
Springer
15 years 9 months ago
2007
Springer
Service Level Agreements (SLA) include quality of service (QoS) constraints and bounds that have to be honoured by the service provider. To maximise the Service Provider revenue wh...
113
click to vote
MDM
2007
Springer
15 years 9 months ago
2007
Springer
—Publish/Subscribe systems have been extensively studied in the context of distributed information-based systems, and have proven scalable in information-dissemination for many d...
125
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...