2470 search results - page 117 / 494 » Liveness-Preserving Simulation Relations |
131
Voted
GG
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
116
Voted
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract—A rectangular patch antenna array for MIMO communications was simulated on a magnetic permeability enhanced metamaterial. The performance of this antenna array was studi...
127
click to vote
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper focuses on how capabilities to interpret another agent's emotions, and their biological realisation can be modelled. First a cognitive and a biological agent model...
145
click to vote
IAJIT
2008
15 years 4 months ago
2008
: In this paper, TCP performance issues in bandwidth asymmetric networks are investigated. Related works to improve TCP performance in bandwidth asymmetric networks are introduced ...
111
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Real Options for Project Schedules (ROPS) has three recursive sampling/optimization shells. An outer Adaptive Simulated Annealing (ASA) optimization shell optimizes parameters of ...