7529 search results - page 355 / 1506 » The Modula-3 Type System |
150
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...
177
click to vote
WSC
2001
15 years 8 months ago
2001
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...
156
click to vote
CN
2008
15 years 6 months ago
2008
Service and resource discovery has become an integral part of modern networked systems. In this survey we give an overview of the existing solutions for service and resource discov...
164
Voted
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
189
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...