3387 search results - page 258 / 678 » Model-Checking for Real-Time Systems |
194
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...
161
Voted
IGARSS
2009
15 years 4 months ago
2009
In this paper, we propose a novel remote sensing method that is adequate for rainfall rate measurements in real time by means of tomographic processing applied to power attenuatio...
202
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
One of the main techniques used by software renderers to produce stunningly realistic images is programmable shading—executing an arbitrarily complex program to compute the colo...
234
click to vote
FMOODS
2007
15 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
196
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
—The convergence of application domains in new systems-on-chip (SoC) results in systems with many applications with a mix of soft and hard real-time requirements. To reduce cost,...