488 search results - page 15 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
KBSE
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
101
click to vote
FORMATS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
DAGSTUHL
2006
15 years 13 days ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
WECWIS
2009
IEEE
15 years 5 months ago
2009
IEEE
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
ICASSP
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper introduces a composite learning approach for image retrieval with relevance feedback. The proposed system combines the radial basis function (RBF) based lowlevel learni...