2004 search results - page 325 / 401 » Comparison of Model Checking Tools for Information Systems |
104
click to vote
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...
CHI
2005
ACM
16 years 7 days ago
2005
ACM
As driver distraction from in-vehicle devices increasingly becomes a concern on our roadways, researchers have searched for better scientific understanding of distraction along wi...
IJEIS
2010
14 years 9 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
SCAM
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...