Sciweavers

10038 search results - page 435 / 2008
» Model Checking for Managers
Sort
View
HICSS
2005
IEEE
124views Biometrics» more  HICSS 2005»
16 years 17 days ago
Establishing and Structuring Criteria for Measuring Knowledge Management Efforts
Establishing criteria for knowledge management is an imperative aspect of management as it helps determine results. Our research indicated that widely-accepted criteria and perfor...
Vittal S. Anantatmula, Shivraj Kanungo
IM
2007
15 years 8 months ago
Autonomic Management of Component-Based Embedded Software
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
Fabien Romeo, Franck Barbier, Jean-Michel Bruel
COOPIS
2000
IEEE
15 years 10 months ago
Workflow Modeling Using Proclets
The focus of traditional workflow management systems is on control flow within one process definition, that describes how a single case (i.e., workflow instance) is handled in isol...
Wil M. P. van der Aalst, Paulo Barthelmess, Claren...
IJKL
2007
83views more  IJKL 2007»
15 years 6 months ago
Managing intellectual capital: the MIC matrix
: Knowledge assets represent a special set of resources for a firm and as such, their management is of great importance to academics and managers. The purpose of this paper is to r...
Carla Curado, Nick Bontis
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
16 years 1 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...