1074 search results - page 99 / 215 » Space of Mechanisms |
145
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
The conventional approach for building pervasive environments relies on middleware to integrate different systems. Instead, we have built a system that can deal with these environ...
147
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
164
click to vote
MUM
2009
ACM
16 years 28 days ago
2009
ACM
Different kinds of computing environment effect human interaction in different kinds of ways and understanding how different environments ‘work’, as it were, is important to t...
153
Voted
TACAS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
152
click to vote
ICC
2008
IEEE
16 years 17 days ago
2008
IEEE
—Deep space communications are an important research line in scientific community. The possibility of performing the communication between earth and other planets is an excitant ...