2632 search results - page 444 / 527 » Alternating Timed Automata |
JCP
2006
14 years 12 months ago
2006
Abstract-- In this paper a novel pulse sequence testing methodology is presented [22] as an alternative to Time Domain Reflectometry (TDR) for transmission line health condition mo...
NETWORKS
2008
14 years 12 months ago
2008
In this paper we consider the decontamination problem in a hypercube network of size n. The nodes of the network are assumed to be contaminated and they have to be decontaminated ...
112
click to vote
SIAMSC
2008
14 years 11 months ago
2008
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...
119
click to vote
TIP
2008
14 years 11 months ago
2008
Consider the problem of transmitting multiple video streams to fulfill a constant bandwidth constraint. The available bit budget needs to be distributed across the sequences in ord...
113
click to vote
SP
2010
IEEE
14 years 9 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...