[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || Pattern-Matching Spi-Calculus
- 作者Dimitrakos, Theo; Martinelli, Fabio
- 文件大小676.99KB
- 发表时间2005
- DOI10.1007/0-387-24098-5_5
- 页码55-70
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Autopoiesis & Mobile Technology Adoption:Lawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Mobile Process Support SystemsLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Ad Hoc Service GridLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Mobile Support for Community HealthcareLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Contracts for Defining QoS LevelsLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Finite Segmentation for XML CachingLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || Workflow Partitioning in Mobile Information SystemsLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005
[IFIP International Federation for Information Processing] Mobile Information Systems Volume 158 || One-Handed Mobile Text EntryLawrence, Elaine; Pernici, Barbara; Krogstie, John · 2005