2272 search results - page 310 / 455 » A Calculus for |
113
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we present a distributed algorithm to dynamically allocate the available resources of a service-oriented network to delay sensitive network services. We use a uti...
112
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
116
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
102
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
88
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
The effective management of a supply chain requires performance measures that accurately represent the underlying structure of the supply chain. Measures such as delivery performa...