455 search results - page 61 / 91 » Understanding Counterexamples with explain |
DFG
2004
Springer
15 years 4 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
ESAW
2004
Springer
15 years 4 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Knowledge Management Systems (KMS) play increasingly important roles in organizations due to the realization of the value of knowledge and capabilities of computerized systems to ...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
VISUALIZATION
2003
IEEE
15 years 4 months ago
2003
IEEE
2D and 3D views are used together in many visualization domains, such as medical imaging, flow visualization, oceanographic visualization, and computer aided design (CAD).Combinin...