Sciweavers

201 search results - page 11 / 41
» extreme 2003
Sort
View
KBSE
2003
IEEE
14 years 23 days ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
WISE
2003
Springer
14 years 23 days ago
A Graphical Environment to Query XML Data with XQuery
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
Daniele Braga, Alessandro Campi
ISLPED
2003
ACM
96views Hardware» more  ISLPED 2003»
14 years 23 days ago
Effective graph theoretic techniques for the generalized low power binding problem
This paper proposes two very fast graph theoretic heuristics for the low power binding problem given fixed number of resources and multiple architectures for the resources. First...
Azadeh Davoodi, Ankur Srivastava
WPES
2003
ACM
14 years 22 days ago
Hidden Credentials
Hidden Credentials are useful in situations where requests for service, credentials, access policies and resources are extremely sensitive. We show how transactions which depend o...
Jason E. Holt, Robert W. Bradshaw, Kent E. Seamons...
CTRSA
2003
Springer
120views Cryptology» more  CTRSA 2003»
14 years 22 days ago
Simple Backdoors for RSA Key Generation
We present extremely simple ways of embedding a backdoor in the key generation scheme of RSA. Three of our schemes generate two genuinely random primes p and q of a given size, to...
Claude Crépeau, Alain Slakmon