2004 search results - page 162 / 401 » Comparison of Model Checking Tools for Information Systems |
179
click to vote
ESAW
2008
Springer
15 years 7 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
166
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...
152
click to vote
BIS
2008
15 years 7 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
142
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
140
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...