Sciweavers

3399 search results - page 545 / 680
» Requirements Development in Scenario-Based Design
Sort
View
HASKELL
2008
ACM
15 years 7 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
AAMAS
2007
Springer
15 years 6 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
BMCBI
2010
116views more  BMCBI 2010»
15 years 6 months ago
Predicting success of oligomerized pool engineering (OPEN) for zinc finger target site sequences
Background: Precise and efficient methods for gene targeting are critical for detailed functional analysis of genomes and regulatory networks and for potentially improving the eff...
Jeffry D. Sander, Deepak Reyon, Morgan L. Maeder, ...
BMCBI
2007
80views more  BMCBI 2007»
15 years 6 months ago
AT excursion: a new approach to predict replication origins in viral genomes by locating AT-rich regions
Background: Replication origins are considered important sites for understanding the molecular mechanisms involved in DNA replication. Many computational methods have been develop...
David S. H. Chew, Ming-Ying Leung, Kwok Pui Choi
BMCBI
2008
111views more  BMCBI 2008»
15 years 6 months ago
MLIP: using multiple processors to compute the posterior probability of linkage
Background: Localization of complex traits by genetic linkage analysis may involve exploration of a vast multidimensional parameter space. The posterior probability of linkage (PP...
Manika Govil, Alberto Maria Segre, Veronica J. Vie...