8828 search results - page 1724 / 1766 » Formal methods in practice |
AAIM
2007
Springer
15 years 1 months ago
2007
Springer
BitTorrent (BT) in practice is a very efficient method to share data over a network of clients. In this paper we extend the recent work of Arthur and Panigrahy [1] on modelling the...
ACMSE
2007
ACM
15 years 1 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
ELPUB
2007
ACM
15 years 1 months ago
2007
ACM
The following paper presents a case study of the way that the research done by the LAIRAH project may be applied in the case of a real digital resource for humanities scholarship....
FC
2010
Springer
15 years 1 months ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...