Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
124
Labels and event processes in the asbestos operating system
- In Proc. 20th ACM Symp. on Operating System Principles (SOSP
, 2005
"... Asbestos, a new prototype operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws. Applications can express a wide range of policies with Asbestos’s kernel-enforced label mechanism, including controls on inter-process communicati ..."
Abstract
-
Cited by 181 (15 self)
- Add to MetaCart
Asbestos, a new prototype operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws. Applications can express a wide range of policies with Asbestos’s kernel-enforced label mechanism, including controls on inter-process
Labels and event processes in the Asbestos operating system
- ACM TOCS
, 2007
"... Asbestos, a new operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws. Applications can express a wide range of policies with Asbestos’s kernel-enforced labels, including controls on interprocess communication and systemwide in ..."
Abstract
-
Cited by 42 (4 self)
- Add to MetaCart
Asbestos, a new operating system, provides novel labeling and isolation mechanisms that help contain the effects of exploitable software flaws. Applications can express a wide range of policies with Asbestos’s kernel-enforced labels, including controls on interprocess communication and systemwide
Behavioral theories and the neurophysiology of reward,
- Annu. Rev. Psychol.
, 2006
"... ■ Abstract The functions of rewards are based primarily on their effects on behavior and are less directly governed by the physics and chemistry of input events as in sensory systems. Therefore, the investigation of neural mechanisms underlying reward functions requires behavioral theories that can ..."
Abstract
-
Cited by 187 (0 self)
- Add to MetaCart
■ Abstract The functions of rewards are based primarily on their effects on behavior and are less directly governed by the physics and chemistry of input events as in sensory systems. Therefore, the investigation of neural mechanisms underlying reward functions requires behavioral theories
SPADES|a process algebra for discrete event simulation
, 1999
"... We present a process algebra, SPADES, based on Milner's CCS, which may be used to describe discrete event simulations with parallelism. It is able to describe the passing of time and probabilistic choice, either discrete, between a countable number of processes, or continuous, to choose a rando ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
random amount of time to wait. Its operational semantics is presented as a labelled transition system and we discuss equivalences over this operational semantics that imply axioms that can be used to compare and transform processes formally. We discuss notions of equivalence over simulations
Proving event ordering properties for information systems
- IN ZB2003
, 2003
"... This paper presents an approach to prove event ordering properties for B specifications of information systems. The properties are expressed using the eb 3 notation, where input event ordering properties are defined using a process algebra similar to CSP and output events are specified by recursive ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
This paper presents an approach to prove event ordering properties for B specifications of information systems. The properties are expressed using the eb 3 notation, where input event ordering properties are defined using a process algebra similar to CSP and output events are specified by recursive
OPERATIONAL CONSIDERATIONS OF THE WSR-88D PRECIPITATION PROCESSING SUBSYSTEM DURING THE CONVECTIVE FLOODING EVENT OF 11 AUGUST 1994 IN NORTHERN VIRGINIA
"... On 11 August 1994, strong thunderstorms developed along a stationary surface boundary in northern Virginia, resulting in substantial flooding. This study primarily focuses on the performance of the Precipitation Processing Subsystem (PPS) of the Weather Surveillance Radars-1988 Doppler (WSR-88D) in ..."
Abstract
- Add to MetaCart
and adjustable parameters, specifically maximum reflec-tivity in dBZ for conversion to rainfall rate and the maxi-mum reflectivity allowed for being labeled as an outlier from the respective Doppler radar systems, illustrate the need for adjustment of these parameters based on the char-acteristics of a given
An Ensemble-based Approach to Fast Classification of Multi-label Data Streams
"... Abstract—Network operators are continuously confronted with online events, such as online messages, blog updates, etc. Due to the huge volume of these events and the fast changes of the topics, it is critical to manage them promptly and effectively. There have been many softwares and algorithms deve ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
developed to conduct automatic classification over these stream data. Conventional approaches focus on single-label scenarios, where each event can only be tagged with one label. However, in many stream data, each event can be tagged with more than one labels. Effective stream classification systems should
Safe Distribution of Declarative Processes
"... Abstract. We give a general technique for safe distribution of a declarative (global) process as a network of (local) synchronously communicating declarative pro-cesses. Both the global and local processes are given as Dynamic Condition Re-sponse (DCR) Graphs. DCR Graphs is a recently introduced dec ..."
Abstract
- Add to MetaCart
declarative process model generalizing labelled prime event structures to a systems model able to finitely represent ω-regular languages. An operational semantics given as a tran-sition semantics between markings of the graph allows DCR Graphs to be conve-niently used as both specification and execution model
Fault-Tolerant Bisimulation and Process Transformations
- In Formal Techniques in Real-Time and Fault-Tolerant Systems
, 1994
"... . We provide three methods of verifying concurrent systems which are tolerant of faults in their operating environment - algebraic, logical and transformational. The first is an extension of the bisimulation equivalence, the second is rooted in the Hennessy-Milner logic, and the third involves trans ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
transformations of CCS processes. Based on the common semantic model of labelled transition systems, which is also used to model faults, all three methods are proved equivalent for certain classes of faults. 1 Introduction Many models of concurrent systems have been proposed in the literature, based on either
A Sound Source Classification System Based On Subband Processing
- In Proc. 7 th International Conference on Spoken Language Processing
, 2002
"... A classification system that aims to recognize the presence of sounds from different sources is described. The type of audio signals considered are speech, music, noise and silence. Appropriate subband processing is applied for the characterization of each sound source. The algorithm operates in fou ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
A classification system that aims to recognize the presence of sounds from different sources is described. The type of audio signals considered are speech, music, noise and silence. Appropriate subband processing is applied for the characterization of each sound source. The algorithm operates
Results 1 - 10
of
124
