103 search results - page 17 / 21 » Integrating Custom Instruction Specifications into C Develop... |
SWS
2005
ACM
15 years 5 months ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
ECBS
2000
IEEE
15 years 4 months ago
2000
IEEE
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
105
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
COMPSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...