3082 search results - page 523 / 617 » Deviation Analysis: A New Use of Model Checking |
164
click to vote
TVCG
2010
15 years 2 months ago
2010
—The process of visualization can be seen as a visual communication channel where the input to the channel is the raw data, and the output is the result of a visualization algori...
133
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Multisignatures allow n signers to produce a short joint signature on a single message. Multisignatures were achieved in the plain model with a non-interactive protocol in groups ...
152
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...
135
click to vote
DOCENG
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
134
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The threat to organisations from network attacks is very real. Current countermeasures to denial of service (DoS) attacks rely on the perimeter model of network security. However,...