2004 search results - page 332 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
VIZSEC
2004
Springer
15 years 5 months ago
2004
Springer
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...
WWW
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, we describe an alternative web paradigm, called the Web of People. Rather than a web of pages, it is a web of persons. The paradigm is motivated by a number of obvi...
BCSHCI
2009
15 years 29 days ago
2009
This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
117
click to vote
HPDC
2008
IEEE
14 years 12 months ago
2008
IEEE
Service Oriented Architecture (SOA) and Grid computing are very hot research topics, nowadays. While Grid computing is aimed at sharing dynamically heterogeneous resources, SOAs i...
104
click to vote
GD
2008
Springer
15 years 28 days ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...