2342 search results - page 255 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
120
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information througho...
121
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
120
click to vote
AAAI
2008
15 years 6 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
154
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
127
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...