3400 search results - page 137 / 680 » tools 2008 |
111
click to vote
IANDC
2008
15 years 3 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
112
click to vote
IJVR
2008
15 years 3 months ago
2008
Augmented Reality (AR) enables users to visualize synthetic information overlaid on a real video stream. Such visualization is achieved by tools that vary depending on the underlyi...
115
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
CE
2005
15 years 3 months ago
2005
The development of new communication technologies and their applications has opened a broad spectrum of options to promote learning, of which a significant one is CMC
DAGSTUHL
2008
15 years 4 months ago
2008
We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval technique...