1536 search results - page 191 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
89
Voted
GECON
2009
Springer
15 years 2 months ago
2009
Springer
This paper provides a single broad model for the analysis of a range of issues underlying a market for Grid services. The demand and the supply sides of such a market are being tre...
69
Voted
DAGSTUHL
2003
14 years 11 months ago
2003
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
COMPLEXITY
2006
14 years 10 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
103
Voted
EUSAI
2007
Springer
15 years 1 days ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...