15824 search results - page 264 / 3165 » Specialising in Software Engineering |
159
click to vote
SOMET
2007
15 years 7 months ago
2007
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
148
click to vote
AINA
2006
IEEE
15 years 9 months ago
2006
IEEE
Network Processors (NPs) are set to play a key role in the next generation of networking technology. They have the performance of ASIC-based routers whilst offering a high degree o...
119
click to vote
ISN
1995
Springer
15 years 9 months ago
1995
Springer
Metamanagement provides a means to manage the management processes, systems and software comprising a TMN system. In this paper we present the basic requirements of metamanagement,...
144
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Trace or chromatogram files (raw data) are produced by automatic nucleic acid sequencing equipment or sequencers. Each file contains information which can be interpret...
172
click to vote
TCS
2008
15 years 5 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...