2673 search results - page 448 / 535 » Guided Static Analysis |
203
click to vote
IESS
2007
Springer
16 years 14 days ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
155
click to vote
LPAR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
164
click to vote
SCIA
2007
Springer
16 years 13 days ago
2007
Springer
Computing high quality 3D models from multi-view stereo reconstruction is an active topic as can be seen in a recent review [15]. Most approaches make the strong assumption that th...
166
click to vote
AICCSA
2006
IEEE
16 years 12 days ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
147
click to vote
AICT
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper, discusses the feasibility of mobile Web Service provisioning from Smart Phones, confluencing two major recent trends in distributed information systems engineering: th...