14190 search results - page 2463 / 2838 » Abstractions for hybrid systems |
213
click to vote
COOPIS
2002
IEEE
16 years 20 days 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...
210
click to vote
COOPIS
2002
IEEE
16 years 20 days ago
2002
IEEE
Abstract. Peer-to-peer (P2P) applications are composed of a distributed collection of peers that cooperate in order to perform some common task. Though P2P applications have attrac...
236
click to vote
CSMR
2002
IEEE
16 years 20 days ago
2002
IEEE
Reengineering existing (large-scale) applications to the web is a complex and highly challenging task. This is due to a variety of mostly demanding requirements for interactive we...
178
click to vote
DATE
2002
IEEE
16 years 20 days 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...
189
click to vote
EDOC
2002
IEEE
16 years 20 days ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...