462 search results - page 70 / 93 » Verifying Properties of Neural Networks |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
ICDCSW
2002
IEEE
14 years 14 days ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
CSCWD
2001
Springer
14 years 1 days ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
CTRSA
2008
Springer
13 years 9 months ago
2008
Springer
We propose and investigate the notion of aggregate message authentication codes (MACs) which have the property that multiple MAC tags, computed by (possibly) different senders on ...