2004 search results - page 58 / 401 » Comparison of Model Checking Tools for Information Systems |
USS
2004
15 years 1 months ago
2004
Buffer overflow exploits make use of the treatment of strings in C as character arrays rather than as first-class objects. Manipulation of arrays as pointers and primitive pointer...
AIEDU
2005
14 years 11 months ago
2005
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...
IFIP
1994
Springer
15 years 3 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
DAWAK
2009
Springer
15 years 28 days ago
2009
Springer
While in the past the BI market was strictly dominated by closed source and commercial tools, the last few years were characterized by the birth of open source solutions: first as ...
107
click to vote
DFG
2004
Springer
15 years 3 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...