132 search results - page 10 / 27 » Potential Modeling and Simulation Applications of the Web On... |
KBSE
2005
IEEE
14 years 29 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
WSC
2004
13 years 8 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
WSC
2004
13 years 8 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
UM
2010
Springer
13 years 5 months ago
2010
Springer
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...
LRE
2007
13 years 7 months ago
2007
The GOLD Community of Practice is proposed as a model for linking on-line linguistic data to an ontology. The key components of the model include the linguistic data resources them...