192 search results - page 37 / 39 » Constraint-Based Approach for Analysis of Hybrid Systems |
137
click to vote
NSDI
2007
15 years 6 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...
144
click to vote
BIRTHDAY
2010
Springer
15 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
170
click to vote
TASE
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
181
click to vote
HIPC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
162
click to vote
CMS
2010
15 years 4 months ago
2010
Abstract. Client-based attacks on internet users with malicious web pages represent a serious and rising threat. Internet Browsers with enabled active content technologies such as ...