10038 search results - page 1621 / 2008 » Model Checking for Managers |
164
click to vote
NIPS
2001
15 years 8 months ago
2001
Massive transaction data sets are recorded in a routine manner in telecommunications, retail commerce, and Web site management. In this paper we address the problem of inferring p...
166
click to vote
IADIS
2003
15 years 8 months ago
2003
E-blended learning as a new methodology will be explained. E-blended learning scenario for distance learners will include live sessions. During the last years we developed e-learn...
213
click to vote
IADIS
2003
15 years 8 months ago
2003
Developing and evolving complex Web-based systems with strict requirement for shorter time-to-market needs good and systematic engineering approaches and especially an elegant way...
155
click to vote
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
A high-performance file system is normally a key point for large cluster installations, where hundreds or even thousands of nodes frequently need to manage large volumes of data. ...
182
click to vote
SERP
2004
15 years 8 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...