3400 search results - page 137 / 680 » tools 2008 |
IANDC
2008
13 years 10 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...
IJVR
2008
13 years 10 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...
ICSE
2008
IEEE-ACM
14 years 10 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
13 years 10 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
13 years 11 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...