Sciweavers

372 search results - page 44 / 75
» aim 2002
Sort
View
DSN
2002
IEEE
15 years 2 months ago
A Realistic Look At Failure Detectors
This paper shows that, in an environment where we do not bound the number of faulty processes, the class P of Perfect failure detectors is the weakest (among realistic failure det...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
EDOC
2002
IEEE
15 years 2 months ago
Model-Based Risk Assessment to Improve Enterprise Security
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
Jan Øyvind Aagedal, Folker den Braber, Theo...
EDOC
2002
IEEE
15 years 2 months ago
Model Driven Geo-Information System's Development
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
Javier Morales, Luís Ferreira Pires, Marten...
EUROMICRO
2002
IEEE
15 years 2 months ago
Feasibility Analysis for Web Project Engineering Encoded as Rule-Based Expert System
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...
Pablo Gervás, Juan José Escribano Ot...
FOCS
2002
IEEE
15 years 2 months ago
A Dichotomy Theorem for Constraints on a Three-Element Set
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...
Andrei A. Bulatov