Sciweavers

15792 search results - page 2663 / 3159
» Computational Abstraction Steps
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
IVA
2009
Springer
16 years 1 months ago
Evaluating Emotive Character Animations Created with Procedural Animation
Abstract. How to create effective body animations for virtual agents with emotions remains the state of the art for human animators and a great challenge for computer scientists. I...
Yueh-Hung Lin, Chia-Yang Liu, Hung-Wei Lee, Shwu-L...
LION
2009
Springer
114views Optimization» more  LION 2009»
16 years 1 months ago
Substitution Matrices and Mutual Information Approaches to Modeling Evolution
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classication are based on Blosum, P...
Stephan Kitchovitch, Yuedong Song, Richard C. van ...
LION
2009
Springer
145views Optimization» more  LION 2009»
16 years 1 months ago
A Variable Neighborhood Descent Search Algorithm for Delay-Constrained Least-Cost Multicast Routing
Abstract. The rapid evolution of real-time multimedia applications requires Quality of Service (QoS) based multicast routing in underlying computer networks. The constrained Steine...
Rong Qu, Ying Xu, Graham Kendall
LOCA
2009
Springer
16 years 1 months ago
Location Diversity: Enhanced Privacy Protection in Location Based Services
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
Mingqiang Xue, Panos Kalnis, Hung Keng Pung
« Prev « First page 2663 / 3159 Last » Next »