8132 search results - page 1418 / 1627 » Dependability, Abstraction, and Programming |
158
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
171
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis in a graph G with m edges and n vertices. The edges of G have non-negative weights on them. The p...
172
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Reliable link quality prediction is an imperative for the efficient operation of mobile ad-hoc wireless networks (MANETs). In this paper it is shown that popular link qua...
196
click to vote
ISSAC
2004
Springer
15 years 12 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
197
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...