1914 search results - page 283 / 383 » Semantic domains for Handel-C |
152
click to vote
ICAT
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper discusses an evaluation of an augmented reality (AR) multimodal interface that uses combined speech and paddle gestures for interaction with virtual objects in the real ...
161
click to vote
MMM
2006
Springer
16 years 9 days ago
2006
Springer
Providing a fully functional multimedia DBMS (MMDBMS) becomes an emergency with the recent development of distributed environments. In this paper, we address the impact of using w...
157
click to vote
WCRE
2006
IEEE
16 years 9 days ago
2006
IEEE
An Executable Concept Slice extracts from a program an executable subprogram that captures the semantics of a specified high-level concept from the program. Executable concept sl...
158
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
170
click to vote
IEEECIT
2005
IEEE
15 years 12 months ago
2005
IEEE
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...