2813 search results - page 388 / 563 » Formalizing Architectural Connection |
157
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
Unknown values (Xs) may exist in a design due to uninitialized registers or blocks that are powered down. Due to X-pessimism in gate-level logic simulation, such Xs cannot be hand...
314
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
295
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
167
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
139
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...