2242 search results - page 233 / 449 » Using Simulation in Call Centers |
144
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
119
Voted
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
114
Voted
TRIDENTCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Wireless reprogramming of the sensor network is useful for uploading new code or for changing the functionality of the existing code. In recent years, the research focus has sh...
114
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Optical networks with book-ahead bandwidth schedulers are being deployed to meet the high-speed and predictable-service networking requirements of applications in the scienti...
162
Voted
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
The Datagram Congestion Control Protocol (DCCP) has been proposed as a transport protocol which supports real-time traffic. In this paper, we focus on the use of DCCP/CCID3 (Cong...