4987 search results - page 733 / 998 » Fuzzifying P Systems |
156
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
177
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
244
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...
165
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
159
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
CT colonography is a screening technique for adenomatous colorectal polyps, which are important precursors to colon cancer. Computer aided detection (CAD) systems are developed to...