20126 search results - page 3508 / 4026 » Timed Transition Systems |
175
click to vote
NORMAS
2005
Springer
16 years 21 days ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
194
click to vote
NOSSDAV
2005
Springer
16 years 21 days ago
2005
Springer
This paper analyses the traffic characteristics of, and proposes a traffic model for, the Xbox game Halo 2. Our goal is to help players and network providers to estimate the amoun...
199
click to vote
PATMOS
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
200
click to vote
PCI
2005
Springer
16 years 21 days ago
2005
Springer
Bioinformatics applications are one of the most relevant and compute-demanding applications today. While normally these applications are executed on clusters or dedicated parallel ...
170
click to vote
PERVASIVE
2005
Springer
16 years 21 days ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...