3229 search results - page 214 / 646 » The Theory of Timed Automata |
161
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
198
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
153
click to vote
WSC
2001
15 years 8 months ago
2001
It is readily apparent how important the Internet is to modern life. The exponential growth in its use requires good tools for analyzing congestion. Much has been written recently...
140
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present a simple dynamic equilibrium model for an online exchange where both buyers and sellers arrive according to a exogenously defined stochastic process. The structure of t...
157
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...