10038 search results - page 1494 / 2008 » Model Checking for Managers |
165
Voted
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
209
click to vote
BTW
2003
Springer
16 years 3 days ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
181
Voted
GCC
2003
Springer
16 years 2 days ago
2003
Springer
Grid computing provides a robust paradigm to aggregate disparate resources in a secure and controlled environment. Grid architectures require an underpinning Quality of Service (Qo...
186
click to vote
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Although Customer-to-Customer (C2C) business model has been around for years, second-hand markets of digital contents over the Internet are unpopular. A key factor to the success ...
151
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This study provides some empirical insight into managerial roles of chief information officer (CIO) based on Mintzberg's classic managerial role model and CSC's informat...