556 search results - page 80 / 112 » An Abstract Reduction Model for Computer Security Risk |
141
click to vote
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
115
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
138
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
111
Voted
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
168
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...