475 search results - page 52 / 95 » Formal Analysis of Processor Timing Models |
109
click to vote
JAPLL
2008
15 years 3 months ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
166
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
109
click to vote
IJFCS
2006
15 years 3 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
121
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
121
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We use a parallel multi-objective genetic algorithm to drive a search and reconstruction spectroscopic analysis of plasma gradients in inertial confinement fusion (ICF) implosion...