139 search results - page 2 / 28 » Analyzing completeness of axiomatic functional systems for t... |
ECRTS
2010
IEEE
13 years 5 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
JOLLI
2002
13 years 5 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
RTCSA
2003
IEEE
13 years 10 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
WSC
2001
13 years 6 months ago
2001
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...