2004 search results - page 299 / 401 » Comparison of Model Checking Tools for Information Systems |
107
click to vote
AVI
2006
15 years 1 months ago
2006
Mixed reality systems seek to smoothly link the physical and data processing (digital) environments. Although mixed reality systems are becoming more prevalent, we still do not ha...
103
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
125
click to vote
WSC
1997
15 years 1 months ago
1997
Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...
UM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
122
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: Next generation ultra-sequencing technologies are starting to produce extensive quantities of data from entire human genome or exome sequences, and therefore new softw...