236 search results - page 5 / 48 » RBVO Formation Protocol |
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
The advent of the Semantic Web necessitates paradigm shifts away from centralized client/server architectures towards decentralization and peer-to-peer computation, making the exi...
SASO
2010
IEEE
13 years 8 months ago
2010
IEEE
To keep pace with constantly changing markets, many companies are seeking strategic partnerships. In this paper, we assume that a company can electronically provide a profile of th...
RAID
2010
Springer
13 years 9 months ago
2010
Springer
Application-level protocol specifications are helpful for network security management, including intrusion detection, intrusion prevention and detecting malicious code. However, c...
NDSS
2008
IEEE
14 years 5 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...