1880 search results - page 312 / 376 » A Static Analysis for Beta-Binders |
164
click to vote
AINA
2008
IEEE
16 years 13 days ago
2008
IEEE
HSDPA networks are intensively being deployed to provide mobile broadband connectivity to mobile devices. In addition to HSDPA, FLASH-OFDM is another wireless broadband option ope...
143
click to vote
DATE
2008
IEEE
16 years 13 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
196
click to vote
ICMCS
2008
IEEE
16 years 12 days ago
2008
IEEE
Several stochastic models provide an effective framework to identify the temporal structure of audiovisual data. Most of them need as input a first video structure, i.e. connecti...
156
click to vote
ICST
2008
IEEE
16 years 11 days ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
173
click to vote
RTCSA
2008
IEEE
16 years 10 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...