10038 search results - page 611 / 2008 » Model Checking for Managers |
161
click to vote
EOR
2007
15 years 7 months ago
2007
Long-term service agreements (LTSA) for the maintenance of capital-intensive equipment such as gas turbines and aircraft engines are gaining wide acceptance. A typical LTSA contra...
175
Voted
GIS
2000
ACM
15 years 7 months ago
2000
ACM
The GIS literature abounds with strategies to guide the development of a corporate GIS as a single project but lacks discussion on the long term management of the GIS. This paper d...
180
Voted
TELSYS
2002
15 years 7 months ago
2002
Abstract. In this article, the performance and capacity gain achievable with quality of service (QoS) management in packet switched radio networks based on the General Packet Radio...
232
Voted
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
193
Voted
HPDC
2005
IEEE
16 years 27 days ago
2005
IEEE
Interest in Grid computing has grown significantly over the past five years. Management of distributed cluster resources is a key issue in Grid computing. Central to management ...