Sciweavers

6054 search results - page 1045 / 1211
» Implementation of Andorra-based Languages
Sort
View
ACMACE
2007
ACM
14 years 19 days ago
Sharing visual information in virtual environments using projective texture mapping
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
Yannick Francken, Johan Huysmans, Philippe Bekaert
CODES
2008
IEEE
14 years 18 days ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
14 years 18 days ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
DEXA
2008
Springer
176views Database» more  DEXA 2008»
14 years 18 days ago
Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
Lucinéia Heloisa Thom, Manfred Reichert, Ca...
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
14 years 17 days ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
« Prev « First page 1045 / 1211 Last » Next »