1569 search results - page 138 / 314 » Using Organic Computing to Control Bunching Effects |
142
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
116
click to vote
PRDC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Fault injection (FI) has been shown to be an effective approach to assessing the dependability of software systems. To determine the impact of faults injected during FI, a given...
128
Voted
CW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...
142
Voted
ACHI
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present NALP (Navigating Assistant using Laser Pointer), a novel interaction technique for large display presentation control. NALP is based on laser dot detecti...
123
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Many event-driven localization methods have been proposed as low cost, energy efficient solutions for wireless senor networks. In order to eliminate the requirement of accurately...