220 search results - page 16 / 44 » Verifying a signature architecture: a comparative case study |
197
click to vote
PADL
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
114
click to vote
WWW
2008
ACM
16 years 11 days ago
2008
ACM
Efficiently querying RDF [1] data is being an important factor in applying Semantic Web technologies to real-world applications. In this context, many efforts have been made to st...
100
click to vote
INFOCOM
1997
IEEE
15 years 3 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
116
click to vote
ICNS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
BMCBI
2010
14 years 11 months ago
2010
Background: Theme-driven cancer survival studies address whether the expression signature of genes related to a biological process can predict patient survival time. Although this...