Sciweavers

10568 search results - page 1642 / 2114
» Computer Intelligence and Formalization
Sort
View
IJFCS
2007
79views more  IJFCS 2007»
15 years 6 months ago
Intra-Molecular Template-Guided Recombination
The stichotrichous ciliates are uni-cellular organisms which undergo a series of complex unscrambling of genetic encodings. This ability to rearrange DNA to produce the correct pr...
Mark Daley, Michael Domaratzki, Alexis Morris
IJISEC
2007
149views more  IJISEC 2007»
15 years 6 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
SIMULATION
2008
139views more  SIMULATION 2008»
15 years 6 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
ALIFE
2005
15 years 6 months ago
Levels of Description: A Novel Approach to Dynamical Hierarchies
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
Simon McGregor, Chrisantha Fernando
TKDE
2008
177views more  TKDE 2008»
15 years 6 months ago
Analyzing and Managing Role-Based Access Control Policies
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, M...
« Prev « First page 1642 / 2114 Last » Next »