4324 search results - page 522 / 865 » Online social networks |
186
Voted
CAV
2005
Springer
16 years 9 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
207
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
String searching is the computationally intensive kernel of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filter...
197
click to vote
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
Standard web browsers are becoming a common platform for delivering groupware applications, but until recently, the only way to support real-time collaboration was with browser pl...
162
click to vote
CSCW
2006
ACM
16 years 22 days ago
2006
ACM
Groupware communicates by sending messages across the network, and groupware programmers use a variety of formats for these messages, such as XML, plain text, or serialized object...
240
click to vote
FOCS
2006
IEEE
16 years 25 days ago
2006
IEEE
We introduce a game theoretic model of network formation in an effort to understand the complex system of business relationships between various Internet entities (e.g., Autonomou...