Sciweavers

3628 search results - page 421 / 726
» The Decision Diffie-Hellman Problem
Sort
View
AIME
2003
Springer
16 years 20 days ago
The NewGuide Project: Guidelines, Information Sharing and Learning from Exceptions
Among the well agreed-on benefits of a guideline computerisation, with respect to the traditional text format, there are the disambiguation, the possibility of looking at the guide...
Paolo Ciccarese, Ezio Caffi, Lorenzo Boiocchi, Ass...
168
Voted
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
16 years 19 days ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti
185
Voted
PODS
2010
ACM
170views Database» more  PODS 2010»
16 years 15 days ago
Simplifying XML schema: single-type approximations of regular tree languages
XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is wellknown, that these form a strict subclass of the robust class of re...
Wouter Gelade, Tomasz Idziaszek, Wim Martens, Fran...
188
Voted
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
16 years 12 days ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
HICSS
2002
IEEE
125views Biometrics» more  HICSS 2002»
16 years 12 days ago
Knowledge Management Metrics via a Balanced Scorecard Methodology
IT professionals are finding that more of their IT investments are being measured against a knowledge management (KM) metric. Those who want to deploy foundation technologies such...
Alea M. Fairchild