3742 search results - page 158 / 749 » On the Use of Formal Techniques for Validation |
179
click to vote
DAIS
2008
15 years 7 months ago
2008
Java RMI uses HTTP tunneling for NAT traversal. While HTTP tunneling is a valid technique for traditional client
180
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...
143
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
165
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
189
click to vote
STORAGESS
2005
ACM
15 years 12 months ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...