A formal model for dynamic web services composition MAS-based and simple security analysis using Spi calculus
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- NWeSP 2007
Conference paper
Publications
9271 results for Computer Science
A model for contact center analysis and simulation
- Juan M. Huerta
- 2007
- WSC 2007
Conference paperEfficient decoupling capacitance budgeting considering operation and process variations
- Yiyu Shi
- Jinjun Xiong
- et al.
- 2007
- ICCAD 2007
Conference paperDistributed evaluation of spatio-temporal rules in a ubiquitous computing environment
- WooChul Jung
- Daeryung Lee
- et al.
- 2007
- Intelligent Pervasive Computing 2007
Conference paperFinding bugs efficiently with a SAT solver
- Julian Dolby
- Mandana Vaziri
- et al.
- 2007
- ESEC/FSE 2007
Conference paperA hybrid event-processing architecture based on the model-driven approach for high performance monitoring
- Yosuke Ozawa
- Teruo Koyanagi
- et al.
- 2007
- SERVICES 2007
Conference paperMotivating online expertise-sharing for informal learning: The influence of age and tenure in knowledge organizations
- David Huffaker
- Jennifer Lai
- 2007
- ICALT 2007
Conference paperA study on context-aware privacy protection for personal information
- Zhang Qingsheng
- Qi Yong
- et al.
- 2007
- ICCCN 2007
Conference paperApproximate string matching by combining automaton approach and binary neural networks
- Tomáš Beran
- Miroslav Skrbek
- et al.
- 2007
- ASC 2007
Conference paperComparison between numerical and experimental temperature distributions in a small data center test cell
- Madhusudan Iyengar
- Hendrik Hamann
- et al.
- 2007
- ASME Electronic and Photonics Packaging Division 2007
Conference paper