2324 search results - page 227 / 465 » Specifying interaction surfaces using interaction maps |
132
click to vote
PROVSEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
134
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
129
click to vote
CASCON
1996
15 years 6 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
146
click to vote
WEBDB
2005
Springer
15 years 10 months ago
2005
Springer
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...
135
click to vote
AGILEDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Team politics complicate software projects. They cause internal conflicts that can not only cost a software team time and money, but may also detract from the needs of the prod...