8828 search results - page 238 / 1766 » Formal methods in practice |
176
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...
163
click to vote
ECIS
2003
15 years 7 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
121
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we present a practice-based courseware development methodology for establishing a senior undergraduate network course for the computer-engineering departme...
124
click to vote
WSC
2000
15 years 7 months ago
2000
We propose solving continuous parametric simulation optimizations using a deterministic nonlinear optimization algorithm and sample-path simulations. The optimization problem is w...
138
click to vote
WSC
2000
15 years 7 months ago
2000
Analysis of network traffic indicates that packet arrival processes have significant stochastic dependence. It has been suggested that this dependence is so strong as to be wellmo...