234 search results - page 31 / 47 » Looks good to me |
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Civil infrastructure provides the range of essential services generally necessary to support a nation’s economy and quality of life—arguably entire economies rely on the abili...
ERCIMDL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The Web provides us with a vast resource for business intelligence. However, the large size of the Web and its dynamic nature make the task of foraging appropriate inform...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Electronic marketplaces are important because of their potential to change industry structure, for example, by eliminating or altering the role of traditional intermediaries, lead...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract—Interactive TCP applications, such as Telnet and the Web, are particularly sensitive to network congestion. Indeed, congestion-induced queuing and packet loss can be a s...