2136 search results - page 320 / 428 » Learning Behavior Models for Hybrid Timed Systems |
140
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
133
click to vote
SEKE
1993
Springer
15 years 8 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
158
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...
145
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—In order to ensure fair access and efficiency of bandwidth usage in wireless integrated networks, resource allocation algorithms should be well designed. In this paper,...
171
click to vote
WELCOM
2001
Springer
15 years 8 months ago
2001
Springer
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...