4894 search results - page 333 / 979 » Dynamic Abstraction Planning |
174
click to vote
GPEM
2006
15 years 6 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
169
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— This paper deals with dynamic scheduling in realtime systems that have Quality of Service requirements. We assume that tasks are periodic and may miss their deadlines, ...
176
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
230
click to vote
AMDO
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The growth of computational power of contemporary hardware causes technologies working with 3D-data to expand. Examples of the use of this kind of data can be found in ge...
201
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...