Sciweavers

1655 search results - page 160 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
BMAS
2000
IEEE
15 years 10 months ago
Dynamic Time Step Control Algorithm Enhancements
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...
James C. (Jim) Bach
FMSD
2007
101views more  FMSD 2007»
15 years 6 months ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
ENTCS
2010
103views more  ENTCS 2010»
15 years 3 months ago
A Model and Analysis of the AKAP Scaffold
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
Oana Andrei, Muffy Calder
WCRE
2010
IEEE
15 years 4 months ago
Software Process Recovery: Recovering Process from Artifacts
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
Abram Hindle
ICMCS
2010
IEEE
140views Multimedia» more  ICMCS 2010»
15 years 6 months ago
On the use of a dynamic hybrid tempo detection model for beat tracking
In this paper, an approach that estimates the times at which musical beats occur is presented. The system uses a hybrid multi-band decomposition in order to estimate the music tem...
Mikel Gainza