4460 search results - page 491 / 892 » Formal methods for interactive systems |
157
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
218
click to vote
FMCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
174
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
189
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
182
Voted
FORTE
2004
15 years 8 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...