2004 search results - page 74 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
125
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
106
click to vote
ENVSOFT
2006
14 years 12 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
100
click to vote
ISMIR
2005
Springer
15 years 5 months ago
2005
Springer
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
132
click to vote
SCS
2004
15 years 1 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...