10072 search results - page 215 / 2015 » Composition of Model Programs |
172
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...
162
click to vote
CSFW
2007
IEEE
16 years 26 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...
153
click to vote
FGR
2006
IEEE
16 years 17 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...
177
click to vote
QEST
2006
IEEE
16 years 16 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...
153
click to vote
ACSC
2005
IEEE
16 years 4 days ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...