Sciweavers

4306 search results - page 211 / 862
» Timed Testing with TorX
Sort
View
130
Voted
IWIA
2006
IEEE
15 years 6 months ago
Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
Ole Martin Dahl, Stephen D. Wolthusen
ICESS
2004
Springer
15 years 6 months ago
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Qingxu Deng, Mingsong Lv, Ge Yu
ICRA
1999
IEEE
136views Robotics» more  ICRA 1999»
15 years 5 months ago
Analysis and Design of Non-Time Based Motion Controller for Mobile Robots
A new design method for non-time based tracking controller of mobile robots is presented. The new design method converts a controller designed by traditional time-based approaches ...
Wei Kang, Ning Xi, Jindong Tan
101
Voted
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 11 months ago
Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...
Patrick Meumeu Yomsi, Vincent Nélis, Jo&eum...
105
Voted
FOCS
2009
IEEE
15 years 7 months ago
Planarity Allowing Few Error Vertices in Linear Time
— We show that for every fixed k, there is a linear time algorithm that decides whether or not a given graph has a vertex set X of order at most k such that G − X is planar (w...
Ken-ichi Kawarabayashi