2165 search results - page 403 / 433 » Cooperative Software Development: Concepts, Model and Tools |
147
click to vote
ZUM
1997
Springer
15 years 6 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...
WWW
2005
ACM
16 years 2 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
126
click to vote
EUROCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
136
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Data from metabolomic studies are typically complex and high-dimensional. Principal component analysis (PCA) is currently the most widely used statistical technique fo...
122
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Transcription factor binding site (TFBS) prediction is a difficult problem, which requires a good scoring function to discriminate between real binding sites and backg...