7430 search results - page 448 / 1486 » Programming Applications in CIFF |
211
click to vote
CASSIS
2005
Springer
16 years 12 days ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
178
click to vote
TARK
2005
Springer
16 years 10 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
208
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
155
click to vote
DFG
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
170
click to vote
HYBRID
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...