2585 search results - page 267 / 517 » computing 1999 |
150
click to vote
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
156
click to vote
BIRTHDAY
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
142
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
125
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
A desired mesh architecture, based on connected-cycle modules, is constructed. To enhance the reliability, multiple bus sets and spare nodes are dynamically inserted to construct m...
130
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In the distributed shipboard environment of interest to the United States Navy, there is an increasing interest in the use of multicast communications to reduce bandwidth consumpti...