245 search results - page 9 / 49 » diagrams 2010 |
TVCG
2010
14 years 8 months ago
2010
ENTCS
2006
14 years 10 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
ISSE
2010
14 years 8 months ago
2010
78
Voted
SPLC
2010
14 years 11 months ago
2010
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
IJBC
2010
14 years 7 months ago
2010
We consider parameter-dependent, continuous-time dynamical systems under discretizations. It is shown that fold-Hopf singularities are O(hp)-shifted and turned into fold-Neimark-S...