9316 search results - page 51 / 1864 » Analysis of traceback techniques |
INFSOF
2011
13 years 1 months ago
2011
COMSUR
2011
12 years 9 months ago
2011
Abstract—Exchanging cryptographic keys to encrypt the media stream in the Session Initiation Protocol (SIP) has proven difficult. The challenge is to effectively exchange keys w...
ICIAR
2004
Springer
14 years 3 months ago
2004
Springer
BPM
2000
Springer
14 years 1 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
CAV
2012
Springer
12 years 6 days ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...