2661 search results - page 228 / 533 » Model Checking Performability Properties |
125
click to vote
APPINF
2003
15 years 4 months ago
2003
Most experiments in research on autonomous agents and mobile robots are performed either in simulation or on robots with static physical properties; evolvable hardware is hardly e...
155
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
AEI
1999
15 years 2 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
103
click to vote
ICIP
2005
IEEE
15 years 8 months ago
2005
IEEE
A new mathematical framework for modeling speckled imagery is introduced based on embedding the spatial correlation properties of speckled imagery, obtained from statistical optic...
131
click to vote
AHS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...