2004 search results - page 88 / 401 » Comparison of Model Checking Tools for Information Systems |
164
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
140
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
: We discuss the development and application of Web Service-based Geographical Information System Grids. Following the WS-I+ approach of building Grids on Web Service standards, we...
144
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Chaos game representation of genome sequences has been used for visual representation of genome sequence patterns as well as alignment-free comparisons of sequences ba...
239
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
171
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...