2004 search results - page 41 / 401 » Comparison of Model Checking Tools for Information Systems |
SERA
2005
Springer
15 years 5 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
109
click to vote
EVOW
2007
Springer
15 years 6 months ago
2007
Springer
Biomedical research has been revolutionized by high-throughput techniques and the enormous amount of biological data they are able to generate. The interest shown over network mode...
IV
2003
IEEE
15 years 5 months ago
2003
IEEE
As Resource Description Framework (RDF) reaches maturity, there is an increasing need for tools that support it. A common and natural representation for RDF data is a directed lab...
ICECCS
2010
IEEE
15 years 1 hour ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...