The enforcement of access control policies using cryptography has received considerable attention in recent years and the security of such enforcemen...

Multiprocessors are defined as a subclass of MIMD (Multiple Instruction Stream, Multiple Data Stream) multiple-computer systems in which the processo...

This paper surveys the deterministic scheduling of jobs m uniprocessor, multiprocessor, and job-shop environments. The survey begins with a brief int...

Constructing a detailed "analytic" model for a real-world computer system is a complicated task, and interpreting results of apphcatmns may be diffic...

Over the last decade, the Petri net has gamed increased usage and acceptance as a basic model of systems of asynchronous concurrent computation. This...