2171 search results - page 59 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
147
Voted
CJ
2010
15 years 2 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
180
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: MicroRNAs (miRNAs) are recognized as one of the most important families of noncoding RNAs that serve as important sequence-specific post-transcriptional regulators of ...
126
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
164
click to vote
ASE
2011
14 years 8 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
127
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper we present preliminary work implementing dynamic privacy in public surveillance. The aim is to maximise the privacy of those under surveillance, while giving an obse...