3311 search results - page 443 / 663 » Deductive Object Programming |
154
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
137
click to vote
VRML
2000
ACM
15 years 8 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
144
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
103
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
To reduce manufacturing variation due to chemicalmechanical polishing and to improve yield, layout must be made uniform with respect to density criteria. This is achieved by layou...
114
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Many electric appliances have recently become network reachable, and we would receive better services from them if we could use them in combination. We have therefore dev...