752 search results - page 113 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
AAAI
2006
13 years 10 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
CPHYSICS
2007
13 years 8 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
CANS
2006
Springer
14 years 7 days ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
CIVR
2009
Springer
14 years 3 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
One of congress’ goals for 2007 was for 80% of all tax and informational returns to be filed electronically [9]. However, to date that lofty goal has fallen well short. This res...