Sciweavers

13140 search results - page 394 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Bayesian detection of interference in satellite navigation systems
In this paper, we propose a novel algorithm to detect/compensate online interference effects when integrating Global Navigation Satellite System (GNSS) and Inertial Navigation Sys...
Frederic Faurie, Audrey Giremus
CCGRID
2008
IEEE
15 years 8 months ago
Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile...
204
Voted
CODES
2010
IEEE
15 years 4 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
IPAW
2010
15 years 4 months ago
Integrating Provenance Data from Distributed Workflow Systems with ProvManager
Abstract. Running scientific workflows in distributed environments is motivating the definition of provenance gathering approaches that are loosely coupled to the workflow executio...
Anderson Marinho, Leonardo Gresta Paulino Murta, C...
ESORICS
2002
Springer
16 years 6 months ago
TINMAN: A Resource Bound Security Checking System for Mobile Code
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
Aloysius K. Mok, Weijiang Yu