4312 search results - page 95 / 863 » Semi-User-Level Communication Architecture |
148
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
State-of-the-art and emerging scientific applications require fast access to large quantities of data and commensurately fast computational resources. Both resources and data are ...
180
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes the design and implementation of a layered agent architecture for decision support applications in general and for distributed medical care in particular. Thre...
156
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
134
Voted
ICFEM
1997
Springer
15 years 9 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
167
Voted
ECEASST
2008
15 years 6 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...