12697 search results - page 95 / 2540 » Call for Papers |
179
click to vote
IJCAI
2003
15 years 7 months ago
2003
In traditional text classification, a classifier is built using labeled training documents of every class. This paper studies a different problem. Given a set P of documents of a ...
168
click to vote
ENTCS
2010
15 years 5 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
152
click to vote
FAC
2008
15 years 5 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
177
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
142
click to vote
IWFM
2003
15 years 7 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...