Sciweavers

2737 search results - page 477 / 548
» interaction 2009
Sort
View
SOFSEM
2009
Springer
15 years 10 months ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé
VW
2009
Springer
130views Virtual Reality» more  VW 2009»
15 years 10 months ago
Towards a Definition of Virtual Objects Using Partial Differential Equations
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...
Hassan Ugail, Gabriela González Castro, Ale...
WASA
2009
Springer
186views Algorithms» more  WASA 2009»
15 years 10 months ago
Utopia Providing Trusted Social Network Relationships within an Un-trusted Environment
Abstract. This paper introduces an unobtrusive method and distributed solution set to aid users of on-line social networking sites, by creating a trusted environment in which every...
William Gauvin, Benyuan Liu, Xinwen Fu, Jie Wang
AIED
2009
Springer
15 years 9 months ago
Antecedent-Consequent Relationships and Cyclical Patterns between Affective States and Problem Solving Outcomes
We explored the complex interplay between students' affective states and problem solving outcomes. We conducted a study where 41 students solved 28 analytical reasoning proble...
Sidney K. D'Mello, Natalie K. Person, Blair Lehman
ASIACRYPT
2009
Springer
15 years 9 months ago
Proofs of Storage from Homomorphic Identification Protocols
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
Giuseppe Ateniese, Seny Kamara, Jonathan Katz