Sciweavers

251 search results - page 40 / 51
» Towards an MDA-Based Development Methodology
Sort
View
ICSE
2007
IEEE-ACM
14 years 7 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
WOWMOM
2009
ACM
231views Multimedia» more  WOWMOM 2009»
14 years 2 months ago
Structure and evolution of a large-scale Wireless Community Network
In recent years, we have witnessed a trend towards open wireless access, mainly driven by the low cost of IEEE 802.11-capable equipment and its operation in unlicensed spectrum. T...
Fotios A. Elianos, Georgia Plakia, Pantelis A. Fra...
CCGRID
2007
IEEE
14 years 1 months ago
Adaptive Performance Modeling on Hierarchical Grid Computing Environments
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
Wahid Nasri, Luiz Angelo Steffenel, Denis Trystram
ISER
2004
Springer
117views Robotics» more  ISER 2004»
14 years 27 days ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
VISUALIZATION
2003
IEEE
14 years 24 days ago
Visualizing Spatial and Temporal Variability in Coastal Observatories
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
Walter Jiménez, Wagner Toledo Corrêa,...