Sciweavers

984 search results - page 38 / 197
» ideas 2010
Sort
View
PTS
2010
132views Hardware» more  PTS 2010»
14 years 11 months ago
Increasing Functional Coverage by Inductive Testing: A Case Study
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
118
Voted
RR
2010
Springer
14 years 11 months ago
Defeasibility in Answer Set Programs via Argumentation Theories
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
Hui Wan, Michael Kifer, Benjamin N. Grosof
179
Voted
WABI
2010
Springer
188views Bioinformatics» more  WABI 2010»
14 years 11 months ago
Prediction of RNA Secondary Structure Including Kissing Hairpin Motifs
Abstract. We present three heuristic strategies for folding RNA sequences into secondary structures including kissing hairpin motifs. The new idea is to construct a kissing hairpin...
Corinna Theis, Stefan Janssen, Robert Giegerich
WDAG
2010
Springer
230views Algorithms» more  WDAG 2010»
14 years 11 months ago
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
Vijay K. Garg
GI
2010
Springer
14 years 10 months ago
Reusable Interaction Protocols for Workflows
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...
Alexander Pokahr, Lars Braubach