561 search results - page 29 / 113 » How to operate a PC without using the hands |
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
108
click to vote
CG
2008
Springer
14 years 11 months ago
2008
Springer
Homogeneous coordinates are often used in computer graphics and computer vision applications especially for the representation of geometric transformations. The homogeneous coordi...
101
click to vote
PET
2010
Springer
15 years 3 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...