Sciweavers

606 search results - page 4 / 122
» Discrete Time Process Algebra
Sort
View
SAC
2006
ACM
14 years 1 months ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe
FUIN
2002
89views more  FUIN 2002»
13 years 7 months ago
Process Algebra with Nonstandard Timing
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
Kees Middelburg
SIP
2001
13 years 8 months ago
A contribution to advanced theory of discrete signals and systems
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...
Eduard Krajnik
SIMULATION
2008
139views more  SIMULATION 2008»
13 years 7 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. ...
ISVC
2010
Springer
13 years 6 months ago
Image Enhancement by Median Filters in Algebraic Reconstruction Methods: An Experimental Study
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
Norbert Hantos, Péter Balázs