6239 search results - page 1091 / 1248 » From Zinc to Design Model |
126
Voted
AMAI
2000
Springer
15 years 4 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
113
click to vote
LCPC
2000
Springer
15 years 4 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
125
click to vote
NGC
2000
Springer
15 years 4 months ago
2000
Springer
The use of proxies for local error recovery and congestion control is a scalable technique used to overcome a number of wellknown problems in Reliable Multicast (RM). The idea is ...
92
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
89
Voted
ICAIL
1995
ACM
15 years 4 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...