1078 search results - page 136 / 216 » Modelling and Verifying of e-Commerce Systems |
133
click to vote
ICNP
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
182
click to vote
JCSC
2002
15 years 4 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
135
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we present a system that enhances the visualization of customized sports shoes using augmented reality techniques. Instead of viewing yourself in a real mirror, sop...
231
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
151
click to vote
IV
2009
IEEE
15 years 11 months ago
2009
IEEE
In recent years, numerous visual Web search interfaces have been developed in the research community. However, the user evaluations of these interfaces have been performed using a...