8555 search results - page 1582 / 1711 » Property Based Coordination |
166
click to vote
TCOM
2010
15 years 4 months ago
2010
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...
185
click to vote
ICMI
2010
Springer
15 years 3 months ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
168
click to vote
USS
2010
15 years 3 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
169
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
174
click to vote
ICCS
2009
Springer
15 years 3 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...