827 search results - page 14 / 166 » Patterns for Timed Property Specifications |
65
Voted
BC
2002
15 years 1 months ago
2002
Abstract. Recent experimental results on spike-timingdependent plasticity (STDP) and heterosynaptic interaction in various systems have revealed new temporal and spatial properties...
122
click to vote
ADAEUROPE
2010
Springer
14 years 12 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
107
click to vote
ICYCS
2008
IEEE
15 years 8 months ago
2008
IEEE
The tactile effects of a sound-specific vibration interface is presented in this paper. The sound-specific vibration interface generates a vibration according to a sound stream us...
141
click to vote
REFSQ
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
109
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...