Sciweavers

14169 search results - page 216 / 2834
» Tabular application development
Sort
View
171
Voted
DSL
2009
15 years 9 days ago
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications
Abstract. Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution ...
Zoé Drey, Julien Mercadal, Charles Consel
ERSHOV
2009
Springer
15 years 9 days ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
196
Voted
ICDE
2004
IEEE
85views Database» more  ICDE 2004»
16 years 3 months ago
GODIVA: Lightweight Data Management for Scientific Visualization Applications
Scientific visualization applications are very dataintensive, with high demands for I/O and data management. Developers of many visualization tools hesitate to use traditional DBM...
Xiaosong Ma, Marianne Winslett, John Norris, Xiang...
ACMSE
2006
ACM
15 years 8 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, ...
111
Voted
ROBOCUP
2005
Springer
155views Robotics» more  ROBOCUP 2005»
15 years 8 months ago
An Application Interface for UCHILSIM and the Arrival of New Challenges
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
Juan Cristóbal Zagal, Iván Sarmiento...