3804 search results - page 255 / 761 » interactions 2008 |
164
click to vote
SNPD
2008
15 years 8 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
182
Voted
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
148
click to vote
TOG
2002
15 years 6 months ago
2002
In this paper we describe how to simulate geometrically complex, interactive, physically-based, volumetric, dynamic deformation models with negligible main CPU costs. This is achi...
155
click to vote
TVCG
2008
15 years 6 months ago
2008
Surveys and opinion polls are extremely popular in the media, especially in the months preceding a general election. However, the available tools for analyzing poll results often r...
201
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...