239 search results - page 47 / 48 » Proof Techniques for Cryptographic Processes |
ICS
2009
Tsinghua U.
14 years 3 days ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...
SIGCOMM
2009
ACM
13 years 12 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
PATAT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
ICMCS
1999
IEEE
13 years 9 months ago
1999
IEEE
Hidden copyright marks have been proposed as a solution for solving the illegal copying and proof of ownership problems in the context of multimedia objects. Many systems have been...
ECLIPSE
2005
ACM
13 years 7 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...