8928 search results - page 139 / 1786 » Modeling Current Events |
106
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
135
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
155
click to vote
CDC
2009
IEEE
15 years 25 days ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
143
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
115
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...