6308 search results - page 874 / 1262 » Modeling Urgency in Timed Systems |
158
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
181
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
168
click to vote
ISCI
2008
15 years 6 months ago
2008
An increase in the performance of deteriorating systems can be achieved through the adoption of suitable maintenance policies. One of the most popular maintenance policies is the ...
164
click to vote
IJON
2006
15 years 6 months ago
2006
This study investigates the control of spike-timing dependent plasticity (STDP) by regulation of the dendritic spike threshold of the postsynaptic neuron. The control of synaptic ...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...