1081 search results - page 13 / 217 » Hierarchical Heterogeneous Specifications |
81
Voted
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
GLOBECOM
2009
IEEE
14 years 7 months ago
2009
IEEE
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
COORDINATION
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
EDM
2010
14 years 11 months ago
2010
While students' skill set profiles can be estimated with formal cognitive diagnosis models [8], their computational complexity makes simpler proxy skill estimates attractive [...
61
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...