5550 search results - page 383 / 1110 » Different Approaches to Proof Systems |
181
click to vote
TSMC
2008
15 years 6 months ago
2008
Testing complex manufacturing systems, such as an ASML [1] lithographic machine, takes up to 45% of the total development time of a system. The problem of which tests must be execu...
172
click to vote
TSE
1998
15 years 6 months ago
1998
—Design and evaluation of groupware systems raise questions which do not have to be addressed in the context of single user systems. The designer has to take into account not onl...
240
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
171
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...
188
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
Conversational recommender systems (CRSs) assist online users in their information-seeking and decision making tasks by supporting an interactive process. Although these processes...