9267 search results - page 207 / 1854 » Expectation-Oriented Analysis and Design |
HIPC
2005
Springer
14 years 2 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
Screen space is a limited resource for computer users-multiple monitors are one means of workspace expansion, and "virtual desktops" are yet another way to increase scre...
SASO
2007
IEEE
14 years 3 months ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
ICICS
2005
Springer
14 years 2 months ago
2005
Springer
We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidanc...
ASPDAC
2000
ACM
14 years 1 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...