Sciweavers

8190 search results - page 222 / 1638
» From Timed to Hybrid Systems
Sort
View
BMCBI
2010
150views more  BMCBI 2010»
15 years 6 months ago
Systematic calibration of a cell signaling network model
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
Kyoung Ae Kim, Sabrina L. Spencer, John G. Albeck,...
CIMCA
2006
IEEE
16 years 20 days ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
GIS
2010
ACM
15 years 4 months ago
Time geography inverted: recognizing intentions in space and time
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
Peter Kiefer, Martin Raubal, Christoph Schlieder
FUIN
2007
84views more  FUIN 2007»
15 years 6 months ago
Observation Based System Security
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
Damas P. Gruska

Publication
220views
15 years 8 months ago
Using Matlab in Labview
The power of Matlab can now be used from within Labview. A labview application can now use a Matlab script directly in the Labview code and exchange data between Labview and matlab...
National Instruments