2777 search results - page 436 / 556 » Example centric programming |
HT
1997
ACM
15 years 6 months ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...
106
click to vote
DL
1997
Springer
15 years 6 months ago
1997
Springer
In a digital library, there are many di erent interaction models between customers and information providers or merchants. Subscriptions, sessions, pay-per-view, shareware, and pr...
101
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
117
click to vote
ICRA
1994
IEEE
15 years 6 months ago
1994
IEEE
A systematic approach to modeling of deformable soft parts for their manipulation is presented. Various deformable parts such as cords, leather products, and sheet metals are mani...
108
click to vote
ECOOPW
1994
Springer
15 years 6 months ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...