3239 search results - page 568 / 648 » A Logical Process Calculus |
90
Voted
VLDB
2004
ACM
15 years 6 months ago
2004
ACM
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
102
Voted
DFT
2003
IEEE
15 years 6 months ago
2003
IEEE
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
116
Voted
ICPPW
2003
IEEE
15 years 6 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
108
click to vote
IEEEICCI
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...