7380 search results - page 936 / 1476 » Engineering Software Intensive Systems |
154
click to vote
TASE
2008
IEEE
16 years 25 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
272
click to vote
VLSI
2007
Springer
16 years 17 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
133
click to vote
IUI
2006
ACM
16 years 12 days ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
180
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Navigation services can be found in different situations and contexts: while connected to the web through a desktop PC, in cars, and more recently on PDAs while on foot. These ser...
162
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
People routinely rely on physical and electronic systems to remind themselves of details regarding personal and organizational contacts. These systems include rolodexes, directori...