4047 search results - page 787 / 810 » The Discrete Basis Problem |
192
click to vote
ZUM
1997
Springer
15 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
170
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
165
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The automatic detection of shared content in written documents –which includes text reuse and its unacknowledged commitment, plagiarism– has become an important probl...
188
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
The accurate prediction of enzyme catalytic sites remains an open problem in bioinformatics. Recently, several structure-based methods have become popular; however, few robust seq...
137
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Aspnes et al [2] introduced an innovative game for modeling the containment of the spread of viruses and worms (security breaches) in a network. In this model, nodes choose to i...