11112 search results - page 334 / 2223 » Computing Stuttering Simulations |
173
click to vote
IWCMC
2006
ACM
16 years 20 days ago
2006
ACM
— Asymmetric links are common in wireless networks for a variety of physical, logical, operational, and legal considerations. An asymmetric link supports uni-directional communic...
171
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
184
click to vote
ICNC
2005
Springer
16 years 7 days ago
2005
Springer
Two binary-encoded models describing some aspects of the coevolution between an artificial immune system and a set of antigens have been proposed and analyzed. The first model ha...
154
click to vote
APN
2004
Springer
16 years 3 days ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
182
click to vote
EUROPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...