2004 search results - page 179 / 401 » Comparison of Model Checking Tools for Information Systems |
155
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
179
Voted
BMCBI
2006
15 years 6 months ago
2006
Background: In order to improve gene prediction, extrinsic evidence on the gene structure can be collected from various sources of information such as genome-genome comparisons an...
161
click to vote
ASAP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
284
click to vote
EDM
2009
15 years 3 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
142
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— Cross-layer optimization (CLO) promises significant gains in comparison to a conventional system design, which does not allow for information exchange across layers. One of th...