403 search results - page 70 / 81 » Integrating Z into Large Projects Tools and Techniques |
137
click to vote
ICADL
2005
Springer
15 years 11 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 ...
155
click to vote
IWDW
2005
Springer
15 years 11 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...
135
click to vote
HICSS
1997
IEEE
15 years 10 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...
144
click to vote
ASPDAC
2008
ACM
15 years 8 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...
161
click to vote
ASWC
2008
Springer
15 years 8 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...