7918 search results - page 1066 / 1584 » Model Composition Directives |
175
click to vote
ICSE
2010
IEEE-ACM
15 years 12 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
204
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
166
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
An approach to instructional design is described which avoids some of the problems traditionally associated with process design models, sometimes referred to as waterfall models. ...
165
click to vote
ALT
2001
Springer
15 years 11 months ago
2001
Springer
We develop a theory for learning scenarios where multiple learners co-exist but there are mutual compatibility constraints on their outcomes. This is natural in cognitive learning...
176
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
This paper will examine and categorize potential business model scenarios for online music. The virtualization of music leads to market uncertainties. On the supply side, the offer...