5182 search results - page 227 / 1037 » COTS-Based Requirements Engineering |
193
click to vote
EJASMP
2010
15 years 2 months ago
2010
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
262
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
166
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
Although local biasing of components used in an analog circuit is shown to be a very attractive design methodology, significantly simplifying the design procedure [3], it makes the...
198
click to vote
CCE
2011
14 years 10 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
226
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...