3522 search results - page 172 / 705 » Modeling and Aspect Weaving |
108
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
157
click to vote
AUSAI
2007
Springer
15 years 4 months ago
2007
Springer
Building classification models plays an important role in DNA mircroarray data analyses. An essential feature of DNA microarray data sets is that the number of input variables (gen...
117
Voted
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...
SMILE
2000
Springer
15 years 4 months ago
2000
Springer
A texture synthesis method is presented that generates similar texture from an example image. It is based on the emulation of simple but rather carefully chosen image intensity sta...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...