2139 search results - page 146 / 428 » Modeling Aspect-Oriented Compositions |
170
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
159
click to vote
CSFW
2007
IEEE
16 years 24 days ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
183
click to vote
GPCE
2007
Springer
16 years 18 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
153
click to vote
FGR
2006
IEEE
16 years 15 days ago
2006
IEEE
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
174
click to vote
QEST
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...