1799 search results - page 292 / 360 » The Logic of Correctness in Software Engineering |
129
click to vote
CODES
2008
IEEE
16 years 19 days ago
2008
IEEE
Open Core Protocol (OCP) is a standard on-chip core interface specification. The current release is flexible and configurable to support the communication needs of a wide range...
170
click to vote
LCTRTS
2007
Springer
16 years 9 days ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
150
click to vote
CODES
2006
IEEE
16 years 6 days ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
152
click to vote
MMSEC
2006
ACM
16 years 3 days ago
2006
ACM
A novel information-hiding methodology denoted as digital invisible ink is introduced. The proposed approach is inspired by the invisible ink in the real world and can be regarded...
189
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...