7557 search results - page 596 / 1512 » Modeling Timed Concurrent Systems |
202
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
178
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Human team members often develop shared expectations to predict each other’s needs and coordinate their behaviors. In this paper the concept “Shared Belief Map” is proposed ...
216
click to vote
TCS
2002
15 years 6 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
226
click to vote
SSPR
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
175
click to vote
HICSS
2005
IEEE
16 years 21 days ago
2005
IEEE
We introduce branching process models in discrete and continuous time for the exponentially increasing phase of cascading blackouts. Cumulative line trips from real blackout data ...