Sciweavers

4679 search results - page 177 / 936
» The Timely Computing Base Model and Architecture
Sort
View
NETGAMES
2003
ACM
15 years 3 months ago
A fair message exchange framework for distributed multi-player games
—This paper presents a framework for message delivery in real-time multi-player distributed interactive games that use the client-server model. Based on this framework, we propos...
Katherine Guo, Sarit Mukherjee, Sampath Rangarajan...
QUESTA
2011
14 years 26 days ago
Queues with waiting time dependent service
Motivated by service levels in terms of the waiting-time distribution seen in e.g. call centers, we consider two models for systems with a service discipline that depends on the w...
René Bekker, G. M. Koole, B. F. Nielsen, T....
ARTS
1999
Springer
15 years 2 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
IPPS
1999
IEEE
15 years 2 months ago
A Communication Latency Hiding Parallelization of a Traffic Flow Simulation
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...
Charles Michael Johnston, Anthony T. Chronopoulos
CMSB
2006
Springer
15 years 1 months ago
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Heike Siebert, Alexander Bockmayr