Result 1 to 20 from 28 total
Concepts and proofs for configuring PKCS\#11. (English)
Barthe, Gilles (ed.) et al., Formal aspects of security and trust. 8th international workshop, FAST 2011, Leuven, Belgium, September 12‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29419-8/pbk). Lecture Notes in Computer Science 7140, 131-147 (2012).
1
Reasoning with past to prove PKCS\#11 keys secure. (English)
Degano, Pierpaolo (ed.) et al., Formal aspects of security and trust. 7th international workshop, FAST 2010, Pisa, Italy, September 16‒17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19750-5/pbk). Lecture Notes in Computer Science 6561, 96-110 (2011).
2
Signal codes: convolutional lattice codes (English)
IEEE Transactions on Information Theory 57, No. 8, 5203-5226 (2011).
3
A middleware support for location-based service discovery and invocation in disconnected manets (English)
Stud. Inform. Univ. 8, No. 3, 71-97 (2010).
4
Opportunistic software deployment in disconnected mobile ad hoc networks (English)
IJHCR 1, No. 1, 24-42 (2010).
5
Reasoning with past to prove PKCS#11 keys secure (English)
Formal Aspects in Security and Trust, 96-110 (2010).
6
Finding the closest lattice point by iterative slicing. (English)
SIAM J. Discrete Math. 23, No. 2, 715-731 (2009).
7
Towards an opportunistic and location-aware service provision in disconnected mobile ad hoc networks (English)
MOBILWARE, 393-406 (2009).
8
Kieker: continuous monitoring and on demand visualization of Java software behavior. (English)
Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12‒14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 80-85 (2008).
9
Low-density lattice codes. (English)
IEEE Trans. Inf. Theory 54, No. 4, 1561-1585 (2008).
10
Signal codes. (English)
Comput. Res. Repos. 2008, Article No. 0806.4773 (2008).
11
A proxy-based model for service provision in opportunistic networks (English)
MPAC, 7-12 (2008).
12
Low density lattice codes. (English)
Comput. Res. Repos. 2007, Article No. 0704.1317 (2007).
13
A framework for service provision in intermittently connected mobile ad hoc networks (English)
WOWMOM, 1-4 (2007).
14
The efficacy of a medical virtual reality simulator for training phlebotomy (English)
Human Factors 48, No. 1, 72-84 (2006).
15
A context-aware middleware platform for autonomous application services in dynamic wireless networks (English)
InterSense, 9 (2006).
16
Une approche pour une continuité de service pour les utilisateurs de terminaux mobiles (English)
UbiMob, 81-88 (2005).
17
Towards an asynchronous dissemination and a safe deployment of lightweight programs in mobile networks (English)
WOWMOM, 481-483 (2005).
18
Contractualisation des ressources pour le deploiement des composants logiciels. (English)
Comput. Res. Repos. 2004, Article No. 0411083 (2004).
19
JASON: an open platform for discovering, delivering and hosting applications in mobile ad hoc networks (English)
International Conference on Wireless Networks, 714-720 (2004).
20
Result 1 to 20 from 28 total
Start
Contact
Print
General Help
