1054 search results - page 55 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
143
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
135
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Non-biological signal (or noise) has been the bane of microarray analysis. Hybridization effects related to probe-sequence composition and DNA dye-probe interactions h...
111
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
165
Voted
MBEES
2008
15 years 5 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
142
click to vote
ENTCS
2011
14 years 11 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...