175
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...
167
click to vote
USENIX
2008
15 years 9 months ago
2008
While cooperative DNS resolver systems, such as CoDNS, have demonstrated improved reliability and performance over standard approaches, their security has been weaker, since any c...
185
click to vote
WSC
2007
15 years 9 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
175
click to vote
USENIX
2008
15 years 9 months ago
2008
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
160
click to vote
WSC
2007
15 years 9 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....