4609 search results - page 718 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present a novel approach for Medium Access Control (MAC) protocol design based on protocol engine. Current way of designing MAC protocols for a specific application is based...
190
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
190
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
175
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
138
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
Security of web servers has become a sensitive subject today. Prediction of normal and abnormal request is problematic due to large number of false alarms in many anomaly based In...