3637 search results - page 705 / 728 » On Dynamic Bit-Probe Complexity |
FM
2006
Springer
14 years 19 days ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
GECCO
2006
Springer
14 years 19 days ago
2006
Springer
Many serious automobile accidents could be avoided if drivers were warned of impending crashes before they occur. Creating such warning systems by hand, however, is a difficult an...
GECCO
2006
Springer
14 years 19 days ago
2006
Springer
The effects of neutrality on evolutionary search have been considered in a number of interesting studies, the results of which, however, have been contradictory. Some researchers ...
ICSE
2000
IEEE-ACM
14 years 17 days ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
VISUALIZATION
1995
IEEE
14 years 15 days ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...