5054 search results - page 247 / 1011 » simulation 2008 |
166
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
173
click to vote
IJVR
2008
15 years 6 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
152
click to vote
INFFUS
2008
15 years 6 months ago
2008
Sensors-to-sink data in wireless sensor networks (WSNs) are typically correlated with each other. Exploiting such correlation when performing data aggregation can result in consid...
181
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper we propose a distributed algorithm for solving the positioning problem in ad-hoc wireless networks. The method is based on the capability of the nodes to measure the ...
152
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
We investigate the financial network of the Korea Stock Exchange (KSE) using numerical simulations and scaling arguments. The frequency of degree and the edge density for a real ...