2005 search results - page 125 / 401 » Business Process Knowledge Modelling: Method and Tool |
104
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
117
click to vote
ECIS
2004
14 years 11 months ago
2004
In the knowledge economy, a firm's intellectual capital represents the only sustainable source of competitive advantage. Intellectual capital manifests itself, predominantly,...
JCP
2008
14 years 10 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
HCI
2007
14 years 11 months ago
2007
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
116
click to vote
DMSN
2009
ACM
15 years 4 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...