398 search results - page 15 / 80 » Using Benchmarking to Advance Research: A Challenge to Softw... |
STTT
2010
14 years 4 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
The development of teaching materials for future software engineers is critical to the long term success of the Grid. At present however there is considerable turmoil in the Grid ...
Publication
Software engineering is by nature a highly collaborative
activity and being able to collaborate effectively is a
key factor for project success. However, collaborating effectivel...
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...