1888 search results - page 216 / 378 » Proof theory and computational analysis |
226
click to vote
EMS
2008
IEEE
15 years 9 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
177
click to vote
JAIR
2006
15 years 7 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
173
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
270
click to vote
PODC
2012
ACM
13 years 9 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...
142
click to vote
ICNC
2005
Springer
16 years 19 days ago
2005
Springer
Fingertip pulsations (plethysmograms) were found to obey chaotic dynamics [1]. We applied chaos theory to analysis of the time series of plethysmograms under various human physio-p...