3134 search results - page 280 / 627 » simulation 2010 |
183
click to vote
ISPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a two layer protocol for tracking fast targets in sensor networks. At the lower layer, the Distributed Spanning Tree Algorithm (DSTA) [12] partitions the network into c...
243
click to vote
JSSPP
2010
Springer
15 years 4 months ago
2010
Springer
To improve the resource utilization and satisfy more users, a Greedy Double Auction Mechanism(GDAM) is proposed to allocate resources in grid environments. GDAM trades resources at...
170
click to vote
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
Computational Trust and Reputation (CTR) systems are essential in electronic commerce to encourage interactions and suppress deceptive behaviours. This paper focus on comparing two...
177
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
194
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...