4434 search results - page 769 / 887 » On the Composition of Hybrid Systems |
123
click to vote
EVOW
2007
Springer
16 years 18 days ago
2007
Springer
We present a time domain approach to explore a sound transformation paradigm for musical performance. Given a set of sounds containing a priori desired qualities and a population o...
156
click to vote
FASE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
161
click to vote
MIDDLEWARE
2007
Springer
16 years 17 days ago
2007
Springer
The Service Oriented Architecture (SOA) is used extensively in ubiquitous computing environments. Using external service orchestration, services can be composed into applications....
193
click to vote
SOCO
2007
Springer
16 years 16 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
175
click to vote
ACSD
2006
IEEE
16 years 15 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...