1648 search results - page 164 / 330 » Where to Build a Door |
156
click to vote
SEFM
2008
IEEE
16 years 25 days ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
176
click to vote
VL
2008
IEEE
16 years 25 days ago
2008
IEEE
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
165
click to vote
AIMSA
2008
Springer
16 years 24 days ago
2008
Springer
Relational instance-based learning (RIBL) algorithms offer high prediction capabilities. However, they do not scale up well, specially in domains where there is a time bound for c...
165
click to vote
COLCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—This article describes a distributed classroom experiment carried out by five universities in the US and Europe at the beginning of 2007. This experiment was motivated ...
160
click to vote
CSFW
2007
IEEE
16 years 23 days ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...