2918 search results - page 399 / 584 » Design tools for reliability analysis |
155
click to vote
IEEEARES
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
198
click to vote
WIDM
2006
ACM
16 years 12 days ago
2006
ACM
Increasingly, scientists are seeking to collaborate and share data among themselves. Such sharing is can be readily done by publishing data on the World-Wide Web. Meaningful query...
184
click to vote
AOSE
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
188
click to vote
CHARME
1999
Springer
15 years 10 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
186
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...