11063 search results - page 396 / 2213 » On the existence of universal models |
180
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
220
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
154
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
166
click to vote
ACRI
2004
Springer
16 years 9 days ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
193
click to vote
ADS
2004
Springer
16 years 9 days ago
2004
Springer
Modeling user affect is becoming increasingly important for intelligent interfaces and agents that aim to establish believable interactions with their users. However, evaluating th...