10500 search results - page 1716 / 2100 » Documentation for |
204
click to vote
MDM
2004
Springer
16 years 6 days ago
2004
Springer
The greater sophistication and availability of mobile computing devices is enabling the application of computing to new tasks and applications to be experienced in a wide range of...
220
click to vote
MKM
2004
Springer
16 years 6 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
176
click to vote
MPC
2004
Springer
16 years 6 days ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
145
click to vote
PDCAT
2004
Springer
16 years 6 days ago
2004
Springer
Today’s cryptanalysis on symmetric key cryptography is encouraging the use of larger key sizes and complex algorithms to achieve an unbreakable state. However, this leads an inc...
188
click to vote
SAFECOMP
2004
Springer
16 years 6 days ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...