165 search results - page 11 / 33 » Constraints: The Ties that Bind |
WCRE
2007
IEEE
14 years 1 months ago
2007
IEEE
The software industry is increasingly confronted with the issues of understanding and maintaining a special type of object-oriented systems, namely enterprise applications. A spec...
AIRS
2005
Springer
14 years 1 months ago
2005
Springer
PageRank is one of the most popular link analysis algorithms that have shown their effectiveness in web search. However, PageRank only consider hyperlink information. In this paper...
BIBE
2010
IEEE
13 years 8 months ago
2010
IEEE
Studies of interactions between protein domains and ligands are important in many aspects such as cellular signaling and regulation. In this work, we applied a three-stage knowledg...
CCL
1994
Springer
13 years 11 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
FMOODS
2007
13 years 9 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...