7192 search results - page 1231 / 1439 » Interactive Simulation and Visualization |
140
click to vote
JSAC
2010
15 years 1 months ago
2010
We consider the problem of coordinating a group of mobile nodes communicating through a wireless medium. The objective of the network is the alignment of all the nodes towards a c...
121
Voted
TACAS
2010
Springer
15 years 29 days ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
97
Voted
TON
2010
15 years 29 days ago
2010
Abstract— Short TCP flows may suffer significant responsetime performance degradations during network congestion. Unfortunately, this creates an incentive for misbehavior by cl...
149
Voted
ICST
2010
IEEE
15 years 16 days ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
115
click to vote
KESAMSTA
2010
Springer
15 years 15 days 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...