517 search results - page 47 / 104 » On the Intended Interpretations of Actions |
76
Voted
EGOV
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper describes PARMENIDES, a system which facilitates structured debate about government policy. 1 The PARMENIDES System The last two decades have seen a deliberati...
OWLED
2008
15 years 10 days ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
115
click to vote
CORR
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
93
Voted
CONTEXT
1999
Springer
15 years 3 months ago
1999
Springer
We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...
100
click to vote
ISIPTA
2003
IEEE
15 years 4 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...