Sciweavers

2672 search results - page 37 / 535
» Hybridizing Concept Languages
Sort
View
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
14 years 2 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
ISORC
2000
IEEE
13 years 12 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
FTRTFT
1998
Springer
13 years 11 months ago
A Modular Visual Model for Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
Radu Grosu, Thomas Stauner, Manfred Broy
ECIS
2004
13 years 9 months ago
Innovation and hybrid genres: disturbing social rhythm in legal practice
This paper explores the non-adoption of an innovation via the concept of hybrid genres, that is digital genres that emerge from a non-digital material precedent. As instances of i...
Keith S. Horton, Elisabeth Davenport
ERSHOV
2003
Springer
14 years 24 days ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker