2880 search results - page 103 / 576 » context 2007 |
111
Voted
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
126
click to vote
IWPSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software evolution research has been focused mostly on analyzing the evolution of single software systems. However, it is rarely the case that a project exists as standalone, inde...
129
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
106
click to vote
EXACT
2007
15 years 6 months ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a v...