9730 search results - page 237 / 1946 » Relating models of backtracking |
127
click to vote
ECIS
2001
15 years 5 months ago
2001
The goal of this research was to develop a model of architecture for a virtual one-stop public administration. The first part of our work was to collect data during a six-month su...
134
click to vote
WICSA
2004
15 years 5 months ago
2004
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
127
click to vote
JSS
2006
15 years 4 months ago
2006
This paper proposes a semantic-based P2P resource organization model R-Chord by incorporating the Resource Space Model (RSM), the P2P Semantic Link Network Model (P2PSLN) and the ...
154
click to vote
PAAMS
2010
Springer
15 years 2 months ago
2010
Springer
An ambient agent system is presented estimating a human's dynamics of desiring and being tempted. The agent is equipped with a dynamical model of the human's processes wh...
121
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...