Sciweavers

9425 search results - page 189 / 1885
» Some Notes on Models and Modelling
Sort
View
122
Voted
JAR
2008
70views more  JAR 2008»
15 years 3 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith
PADS
1999
ACM
15 years 7 months ago
Beyond Speedup: PADS, the HLA and Web-based Simulation
This year’s installment of the PADS “community assessment” looks at previous assessments and considers some current directions in distributed simulation and their possible r...
Ernest H. Page
GLOBECOM
2007
IEEE
15 years 9 months ago
Gaussian Approximations for Carrier Sense Modeling in Wireless Ad Hoc Networks
— Physical carrier sense for wireless multihop networks has attracted a certain degree of attention since it is a simple yet important mechanism for distributed channel access. S...
Francesco Rossetto, Michele Zorzi
ICC
2007
IEEE
138views Communications» more  ICC 2007»
15 years 9 months ago
An Analytical Model for Energy Efficiency of Error Control Schemes in Sensor Networks
- This paper analyzes the energy efficiency of wireless sensor networks using different error control schemes. An analytical model is presented to evaluate the energy efficiency in...
João H. Kleinschmidt, Walter C. Borelli, Ma...
UM
2007
Springer
15 years 9 months ago
Modeling Preferences in a Distributed Recommender System
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
Sylvain Castagnos, Anne Boyer