Sciweavers

5159 search results - page 756 / 1032
» Structural Testing of Executables
Sort
View
NETGAMES
2004
ACM
16 years 18 days ago
OpenPING: a reflective middleware for the construction of adaptive networked game applications
The emergence of distributed Virtual Reality (VR) applications that run over the Internet has presented networked game application designers with new challenges. In an environment...
Paul Okanda, Gordon S. Blair
CINQ
2004
Springer
163views Database» more  CINQ 2004»
16 years 17 days ago
Frequent Itemset Discovery with SQL Using Universal Quantification
Algorithms for finding frequent itemsets fall into two broad classes: (1) algorithms that are based on non-trivial SQL statements to query and update a database, and (2) algorithms...
Ralf Rantzau
EMSOFT
2004
Springer
16 years 17 days ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
GI
2004
Springer
16 years 17 days ago
Reliability study of an embedded operating system for industrial applications
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
Juan Pardo, José Carlos Campelo, Juan Jos&e...
ICCS
2004
Springer
16 years 17 days ago
Adaptive Coupled Physical and Biogeochemical Ocean Predictions: A Conceptual Basis
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...
Pierre F. J. Lermusiaux, Constantinos Evangelinos,...