10038 search results - page 1648 / 2008 » Model Checking for Managers |
171
click to vote
WSC
2000
15 years 8 months ago
2000
Discrete event simulations often require a future event list structure to manage events according to their timestamp. The choice of an efficient data structure is vital to the per...
206
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
193
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
180
click to vote
AMC
2007
15 years 6 months ago
2007
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...
201
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...