2004 search results - page 99 / 401 » Comparison of Model Checking Tools for Information Systems |
163
click to vote
WECWIS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
133
click to vote
JUCS
2006
15 years 4 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
120
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...
143
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
140
click to vote
SBACPAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Code Compression has been used to alleviate the memory requirements as well as to improve performance and/or minimize energy consumption. On the other hand, implementing security ...