Sciweavers

10890 search results - page 107 / 2178
» Automatic Complexity Analysis
Sort
View
87
Voted
ACSAC
2007
IEEE
15 years 8 months ago
Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies
Paolina Centonze, Robert J. Flynn, Marco Pistoia
62
Voted
ICC
2007
IEEE
15 years 8 months ago
Automatic Conflict Analysis and Resolution of Traffic Filtering Policy for Firewall and Security Gateway
Simone Ferraresi, Stefano Pesic, Livia Trazza, And...
PRDC
2007
IEEE
15 years 8 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper
AIED
2007
Springer
15 years 8 months ago
Context Based Classification for Automatic Collaborative Learning Process Analysis
Yi-Chia Wang, Mahesh Joshi, Carolyn Penstein Ros&e...