5084 search results - page 782 / 1017 » Proving Possibility Properties |
200
click to vote
CSCLP
2004
Springer
16 years 20 days 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...
174
click to vote
DEON
2004
Springer
16 years 20 days 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...
182
click to vote
ESOP
2004
Springer
16 years 20 days 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...
246
click to vote
IMR
2004
Springer
16 years 19 days 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...
170
click to vote
IMR
2004
Springer
16 years 19 days 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...