2357 search results - page 123 / 472 » Computing Refactorings of Behavior Models |
AUSAI
2001
Springer
15 years 7 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...
103
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
242
click to vote
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
120
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
121
click to vote
DAC
2007
ACM
15 years 6 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...