7557 search results - page 478 / 1512 » Modeling Timed Concurrent Systems |
152
click to vote
EOR
2008
15 years 7 months ago
2008
Relationships between an assembler and a vendor in a supply chain are investigated in two-period models when the assembler wants to reduce response time by incentive systems. The ...
190
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...
165
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
187
click to vote
APN
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
191
click to vote
VALUETOOLS
2006
ACM
16 years 25 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...