2673 search results - page 448 / 535 » Guided Static Analysis |
170
click to vote
IESS
2007
Springer
15 years 10 months 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...
130
click to vote
LPAR
2007
Springer
15 years 10 months 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...
130
click to vote
SCIA
2007
Springer
15 years 10 months 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...
132
click to vote
AICCSA
2006
IEEE
15 years 10 months 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 ...
115
Voted
AICT
2006
IEEE
15 years 10 months 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...