2004 search results - page 267 / 401 » Comparison of Model Checking Tools for Information Systems |
258
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
178
click to vote
TES
2001
Springer
15 years 9 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
111
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
124
click to vote
WSC
2007
15 years 6 months ago
2007
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
127
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...