11374 search results - page 312 / 2275 » A System Demonstration of ST-TCP |
200
Voted
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
217
click to vote
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Low-cost and low-power video surveillance systems based on networks of wireless video sensors will enter soon the marketplace with the promise of flexibility, quick deployment an...
190
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The present paper shows how vertical actuation alone may be used to effectively control the spatial distribution of mobile vehicles ("balloons" in air, or "drifters&...
206
click to vote
SIMULATION
2011
15 years 1 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
179
click to vote
JAISE
2010
15 years 1 months ago
2010
The population of elderly people keeps increasing rapidly in the past decades, which becomes a predominant aspect of our societies. As such, solutions both efficacious and cost-eff...