Sciweavers

4985 search results - page 97 / 997
» Observation of String-Rewriting Systems
Sort
View
ICCS
2003
Springer
15 years 3 months ago
Performance Instrumentation and Measurement for Terascale Systems
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
Jack Dongarra, Allen D. Malony, Shirley Moore, Phi...
SP
1999
IEEE
194views Security Privacy» more  SP 1999»
15 years 2 months ago
Detecting Intrusions using System Calls: Alternative Data Models
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
Christina Warrender, Stephanie Forrest, Barak A. P...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 1 months ago
Optimal filtering for uncertain linear stochastic systems
— This paper presents the optimal joint filtering and parameter identification problem for uncertain linear stochastic systems with unknown parameters in both state and observa...
Michael V. Basin, Alexander G. Loukianov, Miguel H...
IJCAI
2003
14 years 11 months ago
Recycling Computed Answers in Rewrite Systems for Abduction
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanat...
Fangzhen Lin, Jia-Huai You
ENTCS
2007
97views more  ENTCS 2007»
14 years 10 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt