4502 search results - page 815 / 901 » Regular Model Checking |
101
Voted
SAJ
2000
15 years 27 days ago
2000
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
120
Voted
ASE
1999
15 years 24 days ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
116
Voted
CI
1999
15 years 24 days ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
124
click to vote
SIMULATION
1998
15 years 24 days ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
129
Voted
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...