Sciweavers

5446 search results - page 806 / 1090
» Software Architecture - Introduction
Sort
View
INFOCOM
2000
IEEE
15 years 11 months ago
Bowman: A Node OS for Active Networks
—Bowman is an extensible platform for active networking: it layers active-networking functionality in user-space software over variants of the System V UNIX operating system. The...
Shashidhar Merugu, Samrat Bhattacharjee, Ellen W. ...
IPPS
2000
IEEE
15 years 11 months ago
Solving Problems on Parallel Computers by Cellular Programming
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
Domenico Talia
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 11 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
SC
2000
ACM
15 years 11 months ago
Computing and Data Grids for Science and Engineering
We use the term “Grid” to refer to a software system that provides uniform and location independent access to geographically and organizationally dispersed, heterogeneous reso...
William E. Johnston, Dennis Gannon, Bill Nitzberg,...
HPDC
1999
IEEE
15 years 11 months ago
A Resource Description Environment for Distributed Computing Systems
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
Matthias Brune, Alexander Reinefeld, Jörg Var...