13717 search results - page 2597 / 2744 » Control Systems |
141
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. QoS-aware distributed applications such as certain Multimedia and Ubiquitous Computing applications can benefit greatly from the provision of QoS guarantees from the unde...
127
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
210
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
168
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
178
click to vote
SI3D
1999
ACM
15 years 7 months ago
1999
ACM
In the real world designers often use French curves or sweeps to create or edit curves to bring out a personal style or reflect a corporate standard in all their designs. A Frenc...