1087 search results - page 90 / 218 » Achieving Distributed Control through Model Checking |
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— A deep understanding of the structural properties of wireless networks is critical for evaluating the performance of network protocols and improving their designs. Many protoco...
COMCOM
2007
13 years 9 months ago
2007
This paper presents a new algorithm for jointly optimal control of session rate, link attempt rate, and link power in contention based MultiHop Wireless Networks. Formulating the ...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Bezier curves (BC) are fundamental to a wide range of applications from computer-aided design through to object shape descriptions and surface mapping. Since BC only consider glob...
GCC
2010
Springer
13 years 7 months ago
2010
Springer
Quality of Service (QoS) is essential to datacenters, which requires effective schemes to manage the flows among numerous servers. However, existing management techniques mainly fo...
ACSW
2004
13 years 10 months ago
2004
Business processes are often likely to undergo drastic changes and hence the workflow systems that model, simulate and enact these processes should support the monitoring and cont...