3555 search results - page 61 / 711 » Security-Critical System Development with Extended Use Cases |
167
click to vote
FPGA
2001
ACM
15 years 10 months ago
2001
ACM
A prototype platform has been developed that allows processing of packets at the edge of a multi-gigabit-per-second network switch. This system, the Field Programmable Port Extend...
174
click to vote
WER
2005
Springer
15 years 11 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
203
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
192
click to vote
DASFAA
2007
IEEE
15 years 6 months ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
152
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes a new procedure that has been developed for extending an existing on-line information system about The Voyages of the Beagle with information collected automat...