1799 search results - page 312 / 360 » The Logic of Correctness in Software Engineering |
155
click to vote
IOLTS
2003
IEEE
15 years 11 months ago
2003
IEEE
On-chip global interconnections in very deep submicron technology (VDSM) ICs are becoming more sensitive and prone to errors caused by power supply noise, crosstalk noise, delay v...
153
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
TiltText, a new technique for entering text into a mobile phone is described. The standard 12-button text entry keypad of a mobile phone forces ambiguity when the 26letter Roman a...
179
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
196
Voted
HIPC
2007
Springer
15 years 10 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
123
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Automatically assessing the value of bioavailability from the chemical structure of a molecule is a very important issue in biomedicine and pharmacology. In this paper, we present...