11172 search results - page 269 / 2235 » Testing Physical Systems |
161
click to vote
MVA
1996
15 years 8 months ago
1996
For interpretation of ultra sonic images an image interpretation system based on case based reasoning is proposed. We describe the case representation and the casebased reasoningp...
211
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
156
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Reconfigurable Systems-on-Chip (SoCs) on the market consist of full-fledged processors and large Field-Programmable Gate-Arrays (FPGAs). The latter can be used to implement the sy...
183
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
178
click to vote
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...