4520 search results - page 422 / 904 » Algebraic Techniques for Timed Systems |
237
Voted
EMS
2008
IEEE
15 years 9 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
220
click to vote
PE
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
209
click to vote
IJVR
2007
15 years 7 months ago
2007
—We present an empirical usability experiment studying the relative strengths and weaknesses of three different occlusion management techniques for discovering and accessing obje...
213
Voted
AINA
2011
IEEE
14 years 11 months ago
2011
IEEE
— Next generation wireless networks will be heterogeneous, where several primary users (PU e.g. licensed users) and secondary users (SU e.g. unlicensed users) can operate in the ...
260
click to vote
SDL
2007
15 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...