2004 search results - page 295 / 401 » Comparison of Model Checking Tools for Information Systems |
126
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
135
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
156
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
156
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
140
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
Connections is a file system search tool that combines traditional content-based search with context information gathered from user activity. By tracing file system calls, Conne...