Sciweavers

3040 search results - page 97 / 608
» Synergetic Tool Environments
Sort
View
FLAIRS
2001
13 years 11 months ago
A Tool for Autonomous Ground-Based Rover Planning
Thispaperdiscussesa proof-of-conceptprototypefor ground-basedautomaticgenerationof validatedrover commandsequences from high-level science and engineeringactivities.Thisprototypei...
Rob Sherwood, Andrew Mishkin, Tara A. Estlin, Stev...
CG
1999
Springer
13 years 9 months ago
Virtual reality as a tool for verification of assembly and maintenance processes
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
Antonino Gomes de Sá, Gabriel Zachmann
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
14 years 1 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
ACMSE
2006
ACM
14 years 4 months ago
Automatic support for testing web-based enterprise applications
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
Arturo Sanchez, Brandon Vega, Alexander Gonzalez, ...
PERCOM
2010
ACM
14 years 2 months ago
Pervasive maps: Explore and interact with pervasive environments
—Efficient discovery of nearby devices and services is one of the preconditions to obtain a usable pervasive environment. Typical user interfaces in these environments hide the ...
Geert Vanderhulst, Kris Luyten, Karin Coninx