200 search results - page 36 / 40 » Steps Toward a Science of Service Systems |
HICSS
2003
IEEE
14 years 23 days ago
2003
IEEE
The underlying structure of why and how consumers value reliability of electric service is explored, together with the technological options and cost characteristics for the provi...
DSS
2000
13 years 7 months ago
2000
By using panel data spanning a period of 18 years and by estimating a general cost function in a cost minimization Z .setting, we conducted an analysis of information technology I...
STACS
1999
Springer
13 years 11 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
HICSS
2003
IEEE
14 years 23 days ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
CASCON
1993
13 years 8 months ago
1993
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...