2052 search results - page 83 / 411 » Direct Combination |
127
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
97
Voted
TEI
2010
ACM
15 years 10 months ago
2010
ACM
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
100
click to vote
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
Conceptual neighborhood graphs are similarity-based schemata of spatial/temporal relations. This paper proposes a semi-automated method for deriving a conceptual neighborhood graph...
130
click to vote
ICCCN
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The paper describes a target tracking system running on a Heterogeneous Sensor Network (HSN) and presents results gathered from a realistic deployment. The system fuses...
152
Voted
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...