14360 search results - page 132 / 2872 » Time Modeling in MARTE |
PRESENCE
2007
13 years 8 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
DM
2011
13 years 4 months ago
2011
The World Wide Web may be viewed as a graph each of whose vertices corresponds to a static HTML web page, and each of whose edges corresponds to a hyperlink from one web page to an...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Recreating the temporal illumination variations of natural scenes has great potential for realistic synthesis of video sequences. In this paper, we present a 3D (model-based) appr...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...