2796 search results - page 348 / 560 » A time structure based software reliability model |
160
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The number of sequenced eukaryotic genomes is rapidly increasing. This means that over time it will be hard to keep supplying customised gene finders for each genome. ...
175
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
145
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We describe an approach to presenting information in spoken dialogues that for the first time brings together multi-attribute decision models, strategic content planning, state-of...
200
click to vote
PODC
2009
ACM
16 years 6 months ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
143
click to vote
WCRE
2006
IEEE
16 years 5 days ago
2006
IEEE
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....