932 search results - page 90 / 187 » Verifying Progress in Timed Systems |
171
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
In this paper, a recurrent neural network based fuzzy inference system (RNFIS) for prediction is proposed. A recurrent network is embedded in the RNFIS by adding feedback connecti...
139
Voted
KBS
2002
15 years 3 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
125
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
117
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
JCP
2008
15 years 4 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...