4902 search results - page 306 / 981 » Multi-agent Systems Methodology |
200
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
264
Voted
AVI
2008
15 years 9 months ago
2008
This work aimed to propose an adaptive web site in the field of cultural heritage that can dynamically suggest links, based on not intrusive profiling methodologies integrated wit...
221
Voted
WSC
2007
15 years 9 months ago
2007
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...
207
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
WebCLEF is about supporting a user who is an expert in writing a survey article on a specific topic with a clear goal and audience by generating a ranked list with relevant snippet...
160
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
An original method for service life assessment of building products is proposed. In addition to a rigorous analysis and system modelling, "Evidence Theory" is adapted an...