1788 search results - page 139 / 358 » Model Theory for Process Algebra |
AUSAI
2001
Springer
15 years 5 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...
SIGMETRICS
2006
ACM
15 years 7 months ago
2006
ACM
The Erlang formula is known to be insensitive to the holding time distribution beyond the mean. While calls are generally assumed to arrive as a Poisson process, we prove that it ...
109
Voted
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
Markov Random Field (MRF) models are a popular tool for vision and image processing. Gaussian MRF models are particularly convenient to work with because they can be implemented u...
108
click to vote
EUROMICRO
2007
IEEE
15 years 2 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
CAV
2009
Springer
15 years 7 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...