10038 search results - page 317 / 2008 » Model Checking for Managers |
163
click to vote
SECURWARE
2007
IEEE
16 years 29 days ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
135
click to vote
ISPW
2005
IEEE
16 years 8 days ago
2005
IEEE
: We have developed a “WBS(Work Breakdown Structure) process model” for a business application software development project. We have also developed a project management system ...
172
Voted
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
185
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...
138
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper proposes the use of advanced knowledge models to support real time decision for management problems as an adequate response to the current needs and technology. The new ...