5084 search results - page 782 / 1017 » Proving Possibility Properties |
180
click to vote
CSCLP
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
161
click to vote
DEON
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
162
click to vote
ESOP
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
222
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
139
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...