1724 search results - page 200 / 345 » Models for Concurrency |
141
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
165
click to vote
ENTCS
2007
15 years 5 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
155
click to vote
BMVC
2010
15 years 3 months ago
2010
This paper introduces a novel probabilistic activity modeling approach that mines recurrent sequential patterns from documents given as word-time occurrences. In this model, docum...
165
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
148
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...