6562 search results - page 1210 / 1313 » Noetherianity and Combination Problems |
158
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
157
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
bstract: User-Centric Radio Power Control for Opportunistic Mountain Hiking Networks ∗ Jyh-How Huang1 , Po-Yen Lin1 , Yu-Te Huang2 , Seng-Yong Lau1 , Ling-Jyh Chen2 , Kun-chan La...
182
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...
172
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
194
click to vote
WISEC
2009
ACM
2009
ACM
Practical defenses against pollution attacks in intra-flow network coding for wireless mesh networks
16 years 1 months ago
Recent studies show that network coding can provide significant benefits to network protocols, such as increased throughput, reduced network congestion, higher reliability, and ...