5639 search results - page 853 / 1128 » Timed Abstract Non-interference |
134
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. The CORBA standard now incorporates support for reliability through two distinct mechanisms — replication (using the Fault Tolerant CORBA standard) and transactions (us...
140
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. We consider the use of a cluster system for Application Service Provider (ASP). In the ASP context, hosted applications and databases can be update-intensive and must rem...
152
click to vote
CSMR
2002
IEEE
15 years 9 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
121
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
136
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—In this paper, we address the issue of transmission power control in wireless ad-hoc networks. In general, it is assumed that minimum transmission power achieves the opt...