Sciweavers

5055 search results - page 109 / 1011
» Relative Timing
Sort
View
TOPNOC
2008
15 years 4 months ago
Time Recursive Petri Nets
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
Djaouida Dahmani, Jean-Michel Ilié, Malika ...
138
Voted
BMCBI
2010
118views more  BMCBI 2010»
15 years 5 months ago
Artificial neural networks for the prediction of peptide drift time in ion mobility mass spectrometry
Background: There is an increasing usage of ion mobility-mass spectrometry (IMMS) in proteomics. IMMS combines the features of ion mobility spectrometry (IMS) and mass spectrometr...
Bing Wang, Steve Valentine, Manolo Plasencia, Srir...
CBSE
2004
Springer
15 years 10 months ago
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
Kristian Sandström, Johan Fredriksson, Mikael...
CSFW
2000
IEEE
15 years 9 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
TSP
2008
67views more  TSP 2008»
15 years 4 months ago
Kinematics of Complex-Valued Time Series
The contribution to a stationary complex-valued time series at a single frequency magnitude takes the form of a random ellipse, and its properties such as aspect ratio (which inclu...
Patrick Rubin-Delanchy, Andrew T. Walden