2004 search results - page 248 / 401 » Comparison of Model Checking Tools for Information Systems |
130
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
GREAT-ER (Geography-referenced Regional Exposure Assessment Tool for European Rivers) is a model system for predicting chemical fate and exposure in surface waters. The GREAT-ER a...
144
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Numerous applications such as simulations, air traffic control systems, and video surveillance systems are inherently composed of spatial objects that move in a scene. In many ins...
152
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
177
click to vote
MKWI
2008
15 years 6 months ago
2008
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
148
click to vote
ICWS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...