3926 search results - page 15 / 786 » Deriving Information Requirements from Responsibility Models |
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
131
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The enumeration of tetrameric and other sequence motifs that are positively or negatively correlated with in vivo antisense DNA effects has been a useful addition to t...
106
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
111
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: We propose a method for deriving enzymatic signatures from short read metagenomic data of unknown species. The short read data are converted to six pseudo-peptide cand...
ESA
2009
Springer
15 years 8 months ago
2009
Springer
We consider online algorithms for pull-based broadcast scheduling. In this setting there are n pages of information at a server and requests for pages arrive online. When the serv...