3047 search results - page 352 / 610 » A Temporal Consensus Model |
156
click to vote
HYBRID
2007
Springer
16 years 21 days ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
144
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
151
click to vote
CIMCA
2006
IEEE
16 years 18 days ago
2006
IEEE
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...
180
click to vote
ASYNC
2005
IEEE
16 years 4 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
150
click to vote
MSR
2005
ACM
16 years 2 days ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...