3581 search results - page 194 / 717 » Modeling the Internet |
144
click to vote
JIIS
2002
15 years 3 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
132
click to vote
ACSW
2006
15 years 5 months ago
2006
We present the first detailed application of Meadows's cost-based modelling framework to the analysis of JFK, an Internet key agreement protocol. The analysis identifies two ...
151
Voted
SIS
2008
15 years 5 months ago
2008
In this paper we propose an access control model for use by a trusted middleware infrastructure, which is part of an architecture that supports the operation of Location Based Serv...
133
click to vote
DOA
2001
15 years 5 months ago
2001
Mobile agents are a useful paradigm for the development of complex Internet applications. However, the effective development of mobile agent applications requires suitable models ...
135
Voted
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...