10072 search results - page 85 / 2015 » Composition of Model Programs |
119
click to vote
CRYPTO
2005
Springer
15 years 7 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
125
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
138
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
104
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
108
click to vote
JAR
2008
15 years 1 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...