25111 search results - page 5008 / 5023 » Information Systems |
106
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
153
click to vote
SADFE
2010
IEEE
14 years 9 months ago
2010
IEEE
: Like other latent evidence that cannot be directly perceived by people, bit sequences have to be presented through tools. Presentations of digital forensic evidence often involve...
110
click to vote
SECON
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Directional antennas offer many potential advantages for wireless networks such as increased network capacity, extended transmission range and reduced energy consumption....
120
click to vote
SOCIALCOM
2010
14 years 9 months ago
2010
Smart phones can collect and share Bluetooth co-location traces to identify ad hoc or semi-permanent social groups. This information, known to group members but otherwise unavailab...
UIST
2010
ACM
14 years 9 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...