Sciweavers

8503 search results - page 1385 / 1701
» Secure Software Architectures
Sort
View
IPPS
2000
IEEE
15 years 5 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
120
Voted
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 5 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...
103
Voted
SC
2000
ACM
15 years 5 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,...
90
Voted
HPDC
1999
IEEE
15 years 5 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...
128
Voted
AGTIVE
1999
Springer
15 years 5 months ago
DiTo - A Distribution Tool Based on Graph Rewriting
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
Ansgar Radermacher
« Prev « First page 1385 / 1701 Last » Next »