2357 search results - page 265 / 472 » Computing Refactorings of Behavior Models |
102
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Researchers have developed many models to predict and understand human performance in text entry. Most of the models are specific to a technology or fail to account for human fact...
166
Voted
CL
2007
Springer
15 years 3 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
148
Voted
ISORC
2003
IEEE
15 years 8 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
125
Voted
WSC
2007
15 years 5 months ago
2007
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...
144
Voted
EUROGRAPHICS
2010
Eurographics
15 years 4 months ago
2010
Eurographics
We present a novel method for the synthesis and animation of realistic traffic flows on large-scale road networks. Our technique is based on a continuum model of traffic flow we e...