1585 search results - page 117 / 317 » A framework for computer-aided validation |
123
click to vote
CBMS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we consider a general framework for clustering expression data that permits integration of various biological data sources through combination of corresponding dissi...
116
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
133
Voted
SERP
2004
15 years 4 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
106
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
230
Voted
ADMA
2010
Springer
15 years 1 months ago
2010
Springer
Multi-Agent Clustering (MAC) requires a mechanism for identifying the most appropriate cluster configuration. This paper reports on experiments conducted with respect to a number o...