2004 search results - page 165 / 401 » Comparison of Model Checking Tools for Information Systems |
135
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
124
click to vote
WSC
2001
15 years 7 months ago
2001
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...
146
click to vote
EUROMICRO
2007
IEEE
16 years 12 days ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
165
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
125
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...