1153 search results - page 10 / 231 » Compositional Specification Calculus for Information Systems... |
130
click to vote
COSIT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
111
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
122
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
122
Voted
PE
2000
Springer
15 years 3 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
129
Voted
KI
2009
Springer
15 years 10 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...