3931 search results - page 393 / 787 » Separation logic and abstraction |
180
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
197
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...
178
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
156
click to vote
ECHT
1994
15 years 11 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
167
click to vote
POS
1994
Springer
15 years 11 months ago
1994
Springer
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...