2632 search results - page 242 / 527 » Alternating Timed Automata |
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, the importance of creating authoring support for adaptive hypermedia system design offering multimodality and personalization is becoming evident [4][5][6][7][1]. In the...
135
click to vote
ADBIS
2003
Springer
15 years 9 months ago
2003
Springer
Due to the tremendous increase rate and the high change frequency of Web documents, maintaining an up-to-date index for searching purposes (search engines) is becoming a challenge....
104
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
The problem of a useful electrical power quantification in environments with power quality problems is discussed. As it is difficult to correctly apply a Fourier-based approach, a...
129
click to vote
ITC
2002
IEEE
15 years 9 months ago
2002
IEEE
Conventional fault simulation techniques for FPGAs are very complicated and time consuming. The other alternative, FPGA fault emulation technique, is incomplete, and can be used o...
120
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...