16968 search results - page 3107 / 3394 » Software Engineering in the Small |
185
click to vote
FSEN
2007
Springer
16 years 26 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
178
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pa...
196
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
153
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
147
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...