245 search results - page 9 / 49 » diagrams 2010 |
TVCG
2010
13 years 5 months ago
2010
ENTCS
2006
13 years 7 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
13 years 6 months ago
2010
SPLC
2010
13 years 9 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
13 years 4 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...