7557 search results - page 1404 / 1512 » Constraints as a design pattern |
178
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
214
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Recent research provides evidence for the presence of emergent semantics in collaborative tagging systems. While several methods have been proposed, little is known about the fact...
161
click to vote
WISEC
2010
ACM
16 years 1 months ago
2010
ACM
Computing environments on cellphones, especially smartphones, are becoming more open and general-purpose, thus they also become attractive targets of malware. Cellphone malware no...
154
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Relations between users on social media sites often reflect a mixture of positive (friendly) and negative (antagonistic) interactions. In contrast to the bulk of research on soci...
158
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Service composition concerns both integration of heterogeneous distributed applications and dynamic selection of services. QoS-aware selection enables a service requester with cer...