367 search results - page 26 / 74 » Executable Specifications for Real-Time Distributed Systems |
COMPSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...
SP
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Managing the transactions in real time distributed computing system is not easy, as it has heterogeneously networked computers to solve a single problem. If a transaction runs acr...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...