2357 search results - page 311 / 472 » Computing Refactorings of Behavior Models |
118
click to vote
TVLSI
2008
15 years 3 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
127
Voted
IUI
2010
ACM
16 years 7 days ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
134
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
122
click to vote
RSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
122
Voted
WETICE
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...