81 search results - page 10 / 17 » 3-Valued Abstraction: More Precision at Less Cost |
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Spontaneous communication is common in the workplace but can be disruptive. Such communication usually benefits the initiator more than the target of an interruption. Previous res...
111
click to vote
PASTE
1998
ACM
15 years 1 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
IEICET
2007
14 years 9 months ago
2007
Abstract—Si photonic wire waveguides are attractive for constructing various optical devices that are extremely small because the waveguides can be bent with extremely small curv...
KAIS
2007
14 years 9 months ago
2007
Abstract. Outlier detection is concerned with discovering exceptional behaviors of objects. Its theoretical principle and practical implementation lay a foundation for some importa...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...