2357 search results - page 283 / 472 » Computing Refactorings of Behavior Models |
117
Voted
RAS
2000
15 years 3 months ago
2000
In the last two decades, the barn owl, a nocturnal predator with accurate visual and auditory capabilities, has become a common experimental system for neuroscientists investigati...
127
Voted
HPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Fine-Grained Cycle Sharing (FGCS) systems aim at utilizing the large amount of computational resources available on the Internet. In FGCS, host computers allow guest jobs to utili...
111
click to vote
ENTCS
2007
15 years 3 months ago
2007
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
132
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
Dynamic Spectrum Access systems exploit temporarily available spectrum (‘white spaces’) and can spread transmissions over a number of non-contiguous sub-channels. Such methods...
108
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...