1112 search results - page 130 / 223 » software 2002 |
141
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
129
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
Despite our best efforts, any sufficiently complex computer system has vulnerabilities. It is safe to assume that such vulnerabilities can be exploited by attackers who will be ab...
109
Voted
TSE
2002
15 years 3 months ago
2002
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
132
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
102
Voted
ICCD
2002
IEEE
16 years 9 days ago
2002
IEEE
We describe a hardware and software platform for developing streaming applications. Programmers write stream programs in high-level languages, and a set of software tools maps the...