4061 search results - page 402 / 813 » Framework Evolution Tool |
165
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
210
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
This paper focuses on the design of pleasurably playful interfaces within an interactive art context. It describes the development of a framework of thirteen pleasures of play and ...
162
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
The use of handheld computers as a tool to enrich the museum experience has found its way into many museums, opening up new possibilities to increase the attractiveness of museum ...
207
click to vote
FMOODS
2007
15 years 8 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
168
click to vote
COMMA
2006
15 years 8 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...