22114 search results - page 278 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
200
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
194
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
204
click to vote
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
189
click to vote
MICCAI
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
175
click to vote
ERCIMDL
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. This paper presents the results of our study regarding the different facets and ways of using annotations in both digital libraries and collaboratories. This study repres...