1835 search results - page 292 / 367 » Functional Programming of Behavior-Based Systems |
129
click to vote
IFIP
1999
Springer
15 years 6 months ago
1999
Springer
Supply Chain Management (SCM) plans and controls the production over a group of autonomous enterprises. Process-oriented design is used to eliminate inefficiencies of the chain on...
121
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
170
click to vote
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
116
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
121
click to vote
ICALP
1990
Springer
15 years 6 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...