11 search results - page 1 / 3 » tase 2009 |
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
67
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
62
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
In model-driven engineering, metamodels may get lost over time resulting in the inability to load and view existing model instances. MARS is a system that recovers metamodels from...
69
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
Testing is inherently incomplete; no test suite will ever be able to test all possible usage scenarios of a system. It is therefore vital to assess the implication of a system pas...
81
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...