Sciweavers

4806 search results - page 345 / 962
» Interactive uncertainty analysis
Sort
View
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
16 years 1 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
16 years 1 months ago
Virtual Communities: A Bibliometric Analysis
Virtual communities are a popular phenomenon today. They are significantly altering the specifics of how people work, spend their free time and interact socially. Moreover, they h...
Mikko O. J. Laine
ICSE
2009
IEEE-ACM
16 years 1 months ago
DYVISE: Performance analysis of production systems research demonstration
Many of today’s complex systems are multithreaded servers that effectively run forever and need to work under varying loads and environments. Understanding the behavior of such ...
Steven P. Reiss
TACAS
2009
Springer
207views Algorithms» more  TACAS 2009»
16 years 1 months ago
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yin...
HAPTICS
2009
IEEE
16 years 1 months ago
Functional analysis of finger contact locations during grasping
In this paper we present a method for studying human selection of fingertip contact point locations during grasping and manipulation. Our aim is to perform a functional analysis,...
Matei T. Ciocarlie, Hao Dang, Jamie Lukos, Marco S...