Sciweavers

1714 search results - page 133 / 343
» Abstract Models of Memory Management
Sort
View
JCP
2007
150views more  JCP 2007»
15 years 3 months ago
Bayesian Networks and Evidence Theory to Model Complex Systems Reliability
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
Christophe Simon, Philippe Weber, Eric Levrat
DAIS
2008
15 years 4 months ago
A Comprehensive Context Modeling Framework for Pervasive Computing Systems
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
Roland Reichle, Michael Wagner, Mohammad Ullah Kha...
127
Voted
CAISE
2006
Springer
15 years 7 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
146
Voted
ER
2004
Springer
92views Database» more  ER 2004»
15 years 8 months ago
XBiT: An XML-Based Bitemporal Data Model
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oï...
Fusheng Wang, Carlo Zaniolo
ICSE
1994
IEEE-ACM
15 years 7 months ago
Prototyping a Visual Formalism for System Modelling
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
Michael W. Godfrey, Richard C. Holt, Spiros Mancor...