5692 search results - page 8 / 1139 » Challenges and Unsolved Problems |
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
MMB
1997
Springer
13 years 11 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
ACCV
2010
Springer
13 years 1 months ago
2010
Springer
Robust automatic workflow monitoring using visual sensors in industrial environments is still an unsolved problem. This is mainly due to the difficulties of recording data in work ...
EOR
2008
13 years 6 months ago
2008
The ROADEF challenge is organized every two years by the French Society of Operations Research and Decision-Making Aid. The goal is to allow industrial partners to witness recent ...
SOFSEM
2012
Springer
12 years 2 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...