854 search results - page 101 / 171 » Addressing Dynamic Issues of Program Model Checking |
129
click to vote
IWQOS
2001
Springer
15 years 7 months ago
2001
Springer
— Efficient network provisioning mechanisms that support service differentiation and automatic capacity dimensioning are essential to the realization of the Differentiated Servi...
130
Voted
TKDE
2002
15 years 2 months ago
2002
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
151
Voted
MONET
2006
15 years 2 months ago
2006
The radio frequency spectrum is a naturally limited resource of extraordinary value, as the key to the provision of important communication and information services. Traditionally,...
147
click to vote
WEBNET
1997
15 years 3 months ago
1997
The health care industry in the United States has been experiencing substantial and ever increasing cost pressures. At the same time, many forces are revolutionizing the way healt...
119
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...