5090 search results - page 717 / 1018 » Constructing Strategies for Programming |
159
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
200
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
196
click to vote
BIRTHDAY
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
170
click to vote
APCHI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...
184
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...