9110 search results - page 45 / 1822 » Formally-Based Design Evaluation |
116
click to vote
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
With the advent of fast growing Internet and World Wide Web (WWW), more and more companies start the electronic commerce to enhance the business competitiveness. On the other hand...
103
click to vote
SIGIR
1999
ACM
15 years 2 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...
TMC
2010
14 years 8 months ago
2010
—Mobile phones are truly personal devices loaded with personal data such as photos, contacts, and call history. Yet it is often necessary or desirable to share our phones with ot...
BMCBI
2008
14 years 10 months ago
2008
Background: As an alternative to the frequently used "reference design" for two-channel microarrays, other designs have been proposed. These designs have been shown to b...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...