Sciweavers

12084 search results - page 260 / 2417
» Effect Systems with Subtyping
Sort
View
SIGCSE
2000
ACM
203views Education» more  SIGCSE 2000»
15 years 7 months ago
Operating systems projects built on a simple hardware simulator
Effective teaching of operating system concepts requires projects. This paper describes a series of operating system projects all based on a simple hardware simulator that have be...
John Dickinson
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 12 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
VTC
2008
IEEE
107views Communications» more  VTC 2008»
16 years 1 months ago
Analysis of Coded FHSS Systems with Multiple Access Interference in Nakagami Fading
Abstract—This paper studies the effect of Multiple access interference (MAI) on the performance of coded FHSS systems. This is achieved by modelling the physical channel in these...
Salam A. Zummo
DMIN
2006
123views Data Mining» more  DMIN 2006»
15 years 8 months ago
Novel Evaluation Framework of Intrusion Detection Systems with Respect to Security Policies
Intrusion Detection System is an integral component of the computer security infrastructure. It is usually put in place to detect computer security policy violations. While its ro...
Negmat Mullodzhanov
AAAI
1996
15 years 8 months ago
Comet: An Application of Model-Based Reasoning to Accounting Systems
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
Robert Nado, Melanie Chams, Jeff Delisio, Walter H...