3040 search results - page 419 / 608 » Synergetic Tool Environments |
171
click to vote
MBUI
2004
15 years 7 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
198
click to vote
IADIS
2003
15 years 7 months ago
2003
Distance Education Course (DEC) has been becoming more and more popular in many universities with the fast development of the Internet technology. The communication between the te...
190
click to vote
SDL
2001
15 years 7 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
130
click to vote
WSC
2001
15 years 7 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
160
click to vote
WSC
2004
15 years 7 months ago
2004
Monte Carlo techniques have long been used (since Buffon's experiment to approximate the value of by tossing a needle onto striped paper) to analyze phenomena which, due to ...