11066 search results - page 255 / 2214 » Linearity in Process Languages |
141
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
Iterative Combinatorial Auctions (ICA) have been getting increasing attention in computer science and economics, as they provide an efficient solution to resource allocation prob...
173
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
147
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
124
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
142
click to vote
TR
2008
15 years 4 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...