Sciweavers

983 search results - page 16 / 197
» Object-oriented Abstractions for Distributed Programming
Sort
View
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
15 years 2 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
FLOPS
2006
Springer
15 years 1 months ago
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishn...
CAINE
2001
14 years 11 months ago
Intelligent Network Control Using Object-Oriented Term-Rewriting
In this paper, we describe the theoretical framework that allows us to use of the expert system shell CLIPS to define the network model in the Distribution Management System (DMS)...
Adam Steele
HPDC
1993
IEEE
15 years 1 months ago
A Parallel Object-Oriented Framework for Stencil Algorithms
Wepresent an object-oriented framework for constructing parallel implementations of stencil algorithms. This framework simplifres the development process by encapsulating the comm...
John F. Karpovich, Matthew Judd, W. Timothy Straye...
FTDCS
1999
IEEE
15 years 1 months ago
Ephemeral Java Source Code
In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mecha...
Susan Eisenbach, Chris Sadler