5863 search results - page 97 / 1173 » An evaluation of the TRIPS computer system |
114
click to vote
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
122
click to vote
NETGAMES
2006
ACM
15 years 7 months ago
2006
ACM
As technologies evolve and computer systems shrink to the size of matchboxes, also their field of application shifts in new directions. Our permanent companions, mobile phones, p...
131
Voted
SAMOS
2010
Springer
15 years 28 min ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...
104
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
105
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...