750 search results - page 42 / 150 » Desires, Norms and Constraints |
156
click to vote
IFIP
2001
Springer
15 years 6 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
120
click to vote
JCB
2006
15 years 1 months ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
107
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
148
click to vote
CIKM
2010
Springer
14 years 12 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
174
click to vote
CCA
2009
Springer
15 years 6 months ago
2009
Springer
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In this case, ba...