565 search results - page 62 / 113 » Combining Multi-Agent-System Methodologies for Organic Compu... |
112
click to vote
TODAES
1998
15 years 3 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
132
click to vote
ETRA
2010
ACM
15 years 10 months ago
2010
ACM
Gaze visualizations represent an effective way for gaining fast insights into eye tracking data. Current approaches do not adequately support eye tracking studies for three-dimens...
102
Voted
MOBIHOC
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Temperature hot-spots have been known to cause severe reliability problems and to significantly increase leakage power. The register file has been previously shown to exhibit the ...
100
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
Some of the most interesting differences between Open Source Software (OSS) development and commercial colocated software development lie in the communication and collaboration pr...