Sciweavers

1352 search results - page 149 / 271
» Towards Characterizing Visualizations
Sort
View
SIGMOD
2005
ACM
175views Database» more  SIGMOD 2005»
14 years 8 months ago
A taxonomy of scientific workflow systems for grid computing
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
Jia Yu, Rajkumar Buyya
ECBS
2009
IEEE
130views Hardware» more  ECBS 2009»
14 years 2 months ago
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
FOSSACS
2009
Springer
14 years 2 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
14 years 2 months ago
Area-constrained coverage optimization by robotic sensor networks
Abstract— This paper studies robotic sensor networks performing coverage optimization tasks with area constraints. The network coverage of the environment is a function of the ro...
Jorge Cortés
ICALT
2008
IEEE
14 years 2 months ago
VEMUS: An Integrated Platform to Support Music Tuition Tasks
In this paper, the VEMUS platform is presented, as a novel approach for music tuition that focuses on beginner and intermediate students, typically aged from 9 to 15 years. This p...
George Tambouratzis, Kostas Perifanos, Iro Voulgar...