Sciweavers

112 search results - page 12 / 23
» Resolving the productivity paradox
Sort
View
EUROCRYPT
2005
Springer
14 years 1 months ago
The RSA Group is Pseudo-Free
We prove, under the strong RSA assumption, that the group of invertible integers modulo the product of two safe primes is pseudo-free. More specifically, no polynomial time algor...
Daniele Micciancio
VAMOS
2010
Springer
13 years 9 months ago
Tool Support for Incremental Consistency Checking on Variability Models
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
Michael Vierhauser, Deepak Dhungana, Wolfgang Heid...
ICAC
2005
IEEE
14 years 1 months ago
Quickly Finding Known Software Problems via Automated Symptom Matching
We present an architecture for and prototype of a system for quickly detecting software problem recurrences. Re-discovery of the same problem is very common in many large software...
Mark Brodie, Sheng Ma, Guy M. Lohman, Laurent Mign...
ECAI
2004
Springer
14 years 26 days ago
Adaptive Robot Coordination Using Interference Metrics
Abstract. One key issue facing robotic teams is effective coordination mechanisms. Many robotic groups operate within domains where restrictions such as limiting areas of operation...
Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus
CF
2004
ACM
13 years 11 months ago
An architecture to support cooperating mobile embedded systems
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
Edgar Nett, Stefan Schemmer