10038 search results - page 1526 / 2008 » Model Checking for Managers |
198
click to vote
MSWIM
2005
ACM
16 years 11 days ago
2005
ACM
In the last few years, the advance of multimedia applications has prompted researchers to undertake the task of routing multimedia data through Manet. This task is rather difficul...
277
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
169
click to vote
KIVS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
200
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
186
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...