Sciweavers

10038 search results - page 317 / 2008
» Model Checking for Managers
Sort
View
SECURWARE
2007
IEEE
16 years 29 days ago
Distributed Identity Management Model for Digital Ecosystems
— 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 ...
Hristo Koshutanski, Mihaela Ion, Luigi Telesca
ISPW
2005
IEEE
16 years 8 days ago
Project Management System Based on Work-Breakdown-Structure Process Model
: 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 ...
Akira Harada, Satoshi Awane, Yuji Inoya, Osamu Ohn...
172
Voted
APSEC
2005
IEEE
16 years 9 days ago
Describing and Verifying Integrated Services of Home Network Systems
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...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
DATE
2008
IEEE
136views Hardware» more  DATE 2008»
16 years 1 months ago
A Framework of Stochastic Power Management Using Hidden Markov Model
- 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...
Ying Tan, Qinru Qiu
ECIS
2000
15 years 8 months ago
An Intelligent Interactive Knowledge Model for Decision Support in Real-Time Traffic Management
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 ...
Josefa Z. Hernández, Juan Manuel Serrano