2004 search results - page 288 / 401 » Comparison of Model Checking Tools for Information Systems |
140
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...
124
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
155
click to vote
ECBS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
150
click to vote
ENVSOFT
2002
15 years 4 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
161
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...