77016 search results - page 240 / 15404 » Modeling Modeling |
175
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
150
click to vote
GCC
2005
Springer
16 years 2 days ago
2005
Springer
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...
161
click to vote
SIGIR
2006
ACM
16 years 15 days ago
2006
ACM
This paper presents a study of three statistical query translation models that use different units of translation. We begin with a review of a word-based translation model that us...
149
click to vote
MASCOTS
2004
15 years 8 months ago
2004
This study introduces a new analytic queuing model, the N-Burst/G/1 model with heavy-tailed service-time distribution, which captures many of the issues that affect Web servers as...
196
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...