1585 search results - page 97 / 317 » A framework for computer-aided validation |
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...
120
click to vote
SYRCODIS
2008
15 years 4 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
146
click to vote
NIPS
2004
15 years 4 months ago
2004
Given a directed graph in which some of the nodes are labeled, we investigate the question of how to exploit the link structure of the graph to infer the labels of the remaining u...
94
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
113
click to vote
TAICPART
2010
IEEE
15 years 1 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...