1073 search results - page 77 / 215 » Reasoning about Continuous Processes |
146
Voted
PVLDB
2008
15 years 2 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
167
Voted
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
123
Voted
ICIP
1995
IEEE
15 years 6 months ago
1995
IEEE
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...
118
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
107
Voted
CN
1999
15 years 2 months ago
1999
In this paper we show how to improve the architecture of Web Information Systems (WISs) using design patterns, in particular navigational patterns. We first present a framework to...