3830 search results - page 239 / 766 » From Reference Model to Component Model |
208
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
190
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
170
click to vote
BIB
2007
15 years 6 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
155
click to vote
IJAHUC
2010
15 years 5 months ago
2010
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
242
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Previous analysis of content fingerprints has mainly focused on the case of independent and identically distributed fingerprints. Practical fingerprints, however, exhibit corre...