2181 search results - page 288 / 437 » Standard Software as Microworld |
APSEC
2004
IEEE
14 years 2 months ago
2004
IEEE
ISO 9001 is a standard for quality management systems while CMMI is a model for process improvement. If an organization that has achieved ISO registration wishes to improve proces...
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
CODES
2001
IEEE
14 years 2 months ago
2001
IEEE
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...