Sciweavers

3971 search results - page 520 / 795
» On the Use of Properties in Java Applications
Sort
View
ARC
2007
Springer
152views Hardware» more  ARC 2007»
15 years 7 months ago
Statistical signal processing approaches to fault detection
: The parity space approach to fault detection and isolation (FDI) has been developed during the last twenty years, and the focus here is to describe its application to stochastic ...
Fredrik Gustafsson
JMLR
2008
209views more  JMLR 2008»
15 years 7 months ago
Bayesian Inference and Optimal Design for the Sparse Linear Model
The linear model with sparsity-favouring prior on the coefficients has important applications in many different domains. In machine learning, most methods to date search for maxim...
Matthias W. Seeger
AI
2005
Springer
15 years 7 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
CSE
2009
IEEE
15 years 5 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
ENTCS
2006
155views more  ENTCS 2006»
15 years 7 months ago
Mathematical Service Trading Based on Equational Matching
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
Aurélie Hurault, Marc Pantel