5639 search results - page 229 / 1128 » Timed Abstract Non-interference |
106
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
134
click to vote
ESAW
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Exceptions occur frequently in supply-chains. Consequently, detecting exceptions timely is of great practical value. To enable a timely detection of exceptions, this pape...
219
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
101
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
107
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...