10038 search results - page 1552 / 2008 » Model Checking for Managers |
179
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Successful knowledge management may depend not only on knowledge capture, but on knowledge construction—on formulating new and useful knowledge that was not previously available...
196
click to vote
WSC
2004
15 years 8 months ago
2004
Nowadays, in a hotly competitive environment, companies are continuously trying to provide products and/or services to customers faster, cheaper, and better than the competitors d...
187
click to vote
MI
1993
15 years 8 months ago
1993
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...
220
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...
189
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Motivated by increased concern over energy consumption in modern data centers, we propose a new, distributed computing platform called Nano Data Centers (NaDa). NaDa uses ISP-cont...