50 search results - page 9 / 10 » A Behavioural Pseudometric for Metric Labelled Transition Sy... |
117
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
115
click to vote
ICTIR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
104
click to vote
FMCO
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
JAIR
2006
14 years 11 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...