HOTNETS
2010
13 years 2 months ago
2010
RAS
2011
13 years 2 months ago
2011
NFM
2011
13 years 2 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
NETWORK
2011
13 years 2 months ago
2011
—Wireless mesh networks (WMNs) promise to extend high-speed wireless connectivity beyond what is possible with the current WiFi-based infrastructure. However, their unique archit...
NECO
2011
13 years 2 months ago
2011
The neocortex has a remarkably uniform neuronal organization, suggesting that common principles of processing are employed throughout its extent. In particular, the patterns of co...
WS
2011
ACM
13 years 2 months ago
2011
ACM
WS
2011
ACM
13 years 2 months ago
2011
ACM
DESIRE
2010
13 years 2 months ago
2010
Much research has focused on the impact of analogies in insight problem solving, but less work has investigated how the visual analogies for insight are actually constructed. Thus...
DESIRE
2010
13 years 2 months ago
2010
Despite parallels between the structure of poetry composition tasks and design tasks, there appears to be no previous research exploring the consequences of these correspondences ...
DESIRE
2010
13 years 2 months ago
2010
The field of interaction design encompasses a variety of methods for fostering innovation and creativity. In this paper, we present a selection of such methods that scaffold ideat...