3311 search results - page 403 / 663 » Deductive Object Programming |
117
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
122
click to vote
CHI
1992
ACM
15 years 8 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
139
click to vote
ISCA
1990
IEEE
15 years 7 months ago
1990
IEEE
An adaptive cache coherence mechanism exploits semantic information about the expected or observed access behavior of particular data objects. We contend that, in distributed shar...
158
click to vote
ISN
2000
Springer
15 years 7 months ago
2000
Springer
This paper examines load balancing issues relating to a distributed CORBA-based Service Control Point. Two types of load balancing strategies are explored through simulation studie...
121
click to vote
PPOPP
1995
ACM
15 years 7 months ago
1995
ACM
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...