Sciweavers

77016 search results - page 433 / 15404
» Modeling Modeling
Sort
View
ISTA
2001
15 years 8 months ago
Application of Java-Technologies for Simulation in the Web
: In this article, the visual Internet-oriented Java-based E-net Simulation System (JESS) is considered. JESS supports all the simulation stages from constructing the models to exp...
Volodynur Kazymyr, Nataliya Demshevska
PROFES
2005
Springer
16 years 9 days ago
A Rendezvous of Content Adaptable Service and Product Line Modeling
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...
Seo Jeong Lee, Soo Dong Kim
WSC
2008
15 years 9 months ago
A discrete event simulation model for examining future sustainability of Canadian Forces operations
This paper presents a proof-of-concept discrete-event simulation model for examining the ability of the Canadian Forces (CF) to sustain operations, from a human resources perspect...
Patricia Moorhead, Andrew Wind, Mira Halbrohr
TYPES
2004
Springer
16 years 5 days ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
ATAL
2008
Springer
15 years 8 months ago
Selecting strategies using empirical game models: an experimental analysis of meta-strategies
In many complex multi-agent domains it is impractical to compute exact analytic solutions. An alternate means of analysis applies computational tools to derive and analyze empiric...
Christopher Kiekintveld, Michael P. Wellman
« Prev « First page 433 / 15404 Last » Next »