403 search results - page 70 / 81 » Integrating Z into Large Projects Tools and Techniques |
ICADL
2005
Springer
15 years 3 months ago
2005
Springer
Exploratory search over a collection often requires users to iteratively apply a variety of strategies, such as searching for more general or more specific concepts in reaction to ...
IWDW
2005
Springer
15 years 2 months ago
2005
Springer
In this paper, we present a watermarking based approach, and its implementation, for mitigating phishing attacks - a form of web based identity theft. ViWiD is an integrity check m...
HICSS
1997
IEEE
15 years 1 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges...
ASWC
2008
Springer
14 years 11 months ago
2008
Springer
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...