Sciweavers

3169 search results - page 403 / 634
» A General Framework for Large Scale Systems Development
Sort
View
TASE
2007
IEEE
16 years 22 days ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
RR
2007
Springer
16 years 18 days ago
Efficiently Querying Relational Databases Using OWL and SWRL
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...
LCN
2006
IEEE
16 years 15 days ago
Wireless Sensor Networks: The Quest for Planetary Field Sensing
— The paper presents a thought experiment as to the feasibility of using large scale wireless sensor networks as a vehicle for high level scientific investigation. The discussion...
Elena I. Gaura, Robert M. Newman
ICCS
2005
Springer
15 years 12 months ago
Ensemble-Based Data Assimilation for Atmospheric Chemical Transport Models
The task of providing an optimal analysis of the state of the atmosphere requires the development of dynamic data-driven systems (d3 as) that efficiently integrate the observationa...
Adrian Sandu, Emil M. Constantinescu, Wenyuan Liao...
CCGRID
2006
IEEE
15 years 10 months ago
Compilation of XSLT into Dataflow Graphs for Web Service Composition
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
Peter M. Kelly, Paul D. Coddington, Andrew L. Wend...