1268 search results - page 201 / 254 » Dynamic Tool Integration in Heterogeneous Computer Networks |
130
click to vote
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
131
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
—The dynamics of many systems are described by ordinary differential equations (ODE). Solving ODEs with standard methods (i.e. numerical integration) needs a high amount of compu...
113
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
148
click to vote
CGA
2011
14 years 5 months ago
2011
—We describe a graphics system that significantly improves the visual quality of certain types of 3D character motion animated through traditional means by inferring physical pr...
131
click to vote
MOBICOM
2005
ACM
15 years 7 months ago
2005
ACM
Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the internet. These networks are chara...