4814 search results - page 902 / 963 » Combining abstract interpreters |
189
click to vote
DASFAA
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...
154
click to vote
ICST
2008
IEEE
15 years 12 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
149
Voted
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
157
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
184
click to vote
ANSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...