3742 search results - page 534 / 749 » On the Use of Formal Techniques for Validation |
140
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A new technique is presented for mosaicing sparselyoverlapping image sets, with a target application of assisting the diagnosis and treatment of retinal diseases. The geometric im...
313
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
One of the most challenging aspects of managing a very large data warehouse is identifying how queries will behave before they start executing. Yet knowing their performance charac...
143
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
175
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
173
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
The Multi-Threshold CMOS (MTCMOS) technology provides a solution to the high performance and low power design requirements of modern designs. While the low Vth transistors are use...