13917 search results - page 144 / 2784 » Abstraction of Probabilistic Systems |
SPE
2008
14 years 10 months ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
DAC
2008
ACM
15 years 11 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
WISA
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...
101
click to vote
MFCS
1995
Springer
15 years 1 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...