2163 search results - page 65 / 433 » cases 2004 |
AISM
2004
14 years 11 months ago
2004
With reported security incidents in organisations on the increase, effective Security Governance is expected to become a major issue in organisations. A research framework of Secu...
ECIS
2001
14 years 11 months ago
2001
This paper presents a case study about the implementation of the LIBERATOR project in the Portuguese region of Alentejo. Project LIBERATOR complies with the objectives of the Tele...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
This paper is based on the observation that the nearest neighbour in a case-based prediction system may not be the best case to explain a prediction. This observation is based on t...
APN
2004
Springer
15 years 3 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...