4166 search results - page 199 / 834 » Automating the constraining process |
136
click to vote
ICIAR
2004
Springer
15 years 8 months ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
139
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
115
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
133
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
126
click to vote
MIE
2008
15 years 4 months ago
2008
Background: Physicians' adherence to guidelines can be used for measuring prescribing appropriateness. We present a simple approach allowing the automation of this process. De...