Sciweavers

3628 search results - page 421 / 726
» The Decision Diffie-Hellman Problem
Sort
View
AIME
2003
Springer
15 years 12 months 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...
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
15 years 12 months 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
PODS
2010
ACM
170views Database» more  PODS 2010»
15 years 11 months 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...
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
15 years 11 months 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»
15 years 11 months 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