4693 search results - page 499 / 939 » Verifying Hybrid Systems |
186
click to vote
WOSP
2004
ACM
16 years 13 days ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
189
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
130
click to vote
KES
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. This article proposes a new design method based on a simple heuristic technique to eliminate harmonic in power systems. It is called modified least compensation current c...
208
click to vote
PET
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
159
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...