3801 search results - page 223 / 761 » An Approach to Modeling Software Safety |
172
click to vote
RTAS
2006
IEEE
16 years 15 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
158
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
170
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
186
click to vote
IEEEARES
2006
IEEE
16 years 16 days ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
176
click to vote
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...