Sciweavers

7661 search results - page 259 / 1533
» Languages and the Computing Profession
Sort
View
ENTCS
2002
127views more  ENTCS 2002»
15 years 6 months ago
A Calculus for "Environment-Aware" Computation
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
Viviana Bono, Ferruccio Damiani, Paola Giannini
162
Voted
PDP
2007
IEEE
16 years 25 days ago
An Annotation-Based Framework for Parallel Computing
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
Carlos A. Cunha, João Luís Sobral
PERVASIVE
2004
Springer
15 years 12 months ago
Ubiquitous Chip: A Rule-Based I/O Control Device for Ubiquitous Computing
In this paper, we propose a new framework for ubiquitous computing by rule-based, event-driven I/O (input/output) control devices. Our approach is flexible and autonomous because ...
Tsutomu Terada, Masahiko Tsukamoto, Keisuke Hayaka...
PPSC
1997
15 years 8 months ago
Java and Web Technologies for Simulation and Modelling in Computational Science and Engineering
We discuss the role of Java and Web technologies for general simulation. We classify the classes of concurrency typical in problems and analyze separately the role of Java in user...
Geoffrey Fox, Wojtek Furmanski
WOLLIC
2007
Springer
16 years 22 days ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva