1866 search results - page 229 / 374 » A graph-theoretic approach to distributed control over netwo... |
161
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
168
click to vote
INFOSCALE
2006
ACM
16 years 13 days ago
2006
ACM
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...
170
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
173
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
In building a real-life mobile ad-hoc network (MANET), network emulation has been appraised as an efficient approach for testing the real implementations of routing algorithms and...
176
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
— In many devices, wireless network interfaces consume upwards of 30% of scarce portable system energy. Extending the system lifetime by minimizing communication power consumptio...