1743 search results - page 242 / 349 » Generalized Modal Satisfiability |
136
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
143
click to vote
VTS
2000
IEEE
15 years 9 months ago
2000
IEEE
Excessive switching activity during scan testing can cause average power dissipation and peak power during test to be much higher than during normal operation. This can cause prob...
129
click to vote
ELPUB
2000
ACM
15 years 9 months ago
2000
ACM
XML is an SGML-based language designed for the interchange of documents with more flexible and powerful features than those provided by HTML. It can be considered as an intermedia...
114
click to vote
ISLPED
2000
ACM
15 years 9 months ago
2000
ACM
Quality of service (QoS) is one of the key features for new Internet-based multimedia and other applications. Meanwhile, energy remains as a big concern for systems that perform s...
106
click to vote
IUI
2000
ACM
15 years 9 months ago
2000
ACM
Attentive systems pay attention to what users do so that they can attend to what users need. Such systems track user behavior, model user interests, and anticipate user desires an...