550 search results - page 70 / 110 » Context Semantics, Linear Logic and Computational Complexity |
168
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
164
click to vote
SPE
2002
15 years 4 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
144
click to vote
WS
2010
ACM
15 years 2 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
112
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
138
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...