7918 search results - page 321 / 1584 » Model Composition Directives |
150
click to vote
ECBS
2008
IEEE
15 years 6 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
153
Voted
IJCAI
1993
15 years 6 months ago
1993
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
153
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
124
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we present the Hidden Discrete Tempo Model, an effective Dynamic Bayesian Network for audio to score matching. Its main feature is an explicit modeling of tempo, wh...
128
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...