592 search results - page 99 / 119 » Can Component Service-Based Systems Be Proved Correct |
237
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
111
Voted
SSS
2009
Springer
15 years 10 months ago
2009
Springer
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
159
Voted
TASE
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
137
Voted
JAR
1998
15 years 3 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
151
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...