675 search results - page 57 / 135 » Using Fairness to Make Abstractions Work |
120
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
112
Voted
ICDCSW
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The wireless mesh network is experiencing tremendous growth with the standardization of IEEE 802.11 and IEEE 802.16 technologies. Compared to its wired counterpart, the...
143
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A new information-theoretic approach is presented for analyzing fMRI data to calculate the brain activation map. The method is based on a formulation of the mutualinforma...
187
click to vote
MLMTA
2003
15 years 5 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
130
click to vote
IEICET
2006
15 years 3 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...