4041 search results - page 20 / 809 » time 2009 |
144
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...
139
click to vote
FSTTCS
2009
Springer
16 years 13 days ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
153
click to vote
SSD
2009
Springer
16 years 12 days ago
2009
Springer
ELKI is a uni ed software framework, designed as a tool suitable for evaluation of dierent algorithms on high dimensional realvalued feature-vectors. A special case of high dimens...
132
Voted
RECOMB
2009
Springer
16 years 6 months ago
2009
Springer