15885 search results - page 2577 / 3177 » Strategic Software Engineering |
214
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
160
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
168
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
164
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...
148
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...