1914 search results - page 283 / 383 » Semantic domains for Handel-C |
ICAT
2006
IEEE
15 years 5 months 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 ...
MMM
2006
Springer
15 years 5 months 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...
78
Voted
WCRE
2006
IEEE
15 years 5 months 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...
DATE
2005
IEEE
15 years 4 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...
IEEECIT
2005
IEEE
15 years 4 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...