2935 search results - page 502 / 587 » An Integrated Approach to High Integrity Software Verificati... |
151
click to vote
DOLAP
2000
ACM
15 years 10 months ago
2000
ACM
Analyzing data obtained from web server logs, so-called “clickstreams”, is rapidly becoming one of the most important activities for companies in any sector as most businesses...
172
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
1 The low throughput at IC (Integrated Circuit) testing is mainly due to the increasing test data volume, which leads to high ATE (Automatic Test Equipment) memory requirements and...
135
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
While there is an increasing need to share data that may contain personal information, such data sharing must preserve individual privacy without disclosing any identifiable infor...
152
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Satellite communication systems exhibit important and unique features that qualify them to be an integral part of a global ubiquitous information system. Given the universality of ...
154
click to vote
ECML
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...