2025 search results - page 118 / 405 » Minimal-Cut Model Composition |
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...
CBSE
2005
Springer
14 years 2 months ago
2005
Springer
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...