Sciweavers

783 search results - page 60 / 157
» The TextPro Tool Suite
Sort
View
W2GIS
2005
Springer
14 years 1 months ago
Geo-Mobile Queries: Sketch-Based Queries in Mobile GIS-Environments
Traditional GIS tools are well suited for desktop workstations, but need to be adapted in order to satisfy the requirements of mobility. We propose a concept for sketch-based spati...
David Caduff, Max J. Egenhofer
PPPJ
2004
ACM
14 years 1 months ago
Visualization and analysis of phased behavior in Java programs
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
Priya Nagpurkar, Chandra Krintz
SPIN
2004
Springer
14 years 1 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
ICALT
2003
IEEE
14 years 1 months ago
A Metadata Model for Capturing Presentations
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
Ralf Einhorn, Stephan Olbrich, Wolfgang Nejdl
ICSM
2003
IEEE
14 years 1 months ago
Testing with Respect to Concerns
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
Amie L. Souter, David Shepherd, Lori L. Pollock