Sciweavers

123 search results - page 10 / 25
» ifip 2004
Sort
View
IFIP
2004
Springer
15 years 3 months ago
Regular Tree Language Recognition with Static Information
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
Alain Frisch
IFIP
2004
Springer
15 years 3 months ago
Solving Geometrical Place Problems by using Evolutionary Algorithms
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
Crina Grosan
IFIP
2004
Springer
15 years 3 months ago
Three decades of data integration - All problems solved?
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
Patrick Ziegler, Klaus R. Dittrich
IFIP
2004
Springer
15 years 3 months ago
Discretionary Overriding of Access Control in the Privilege Calculus
We extend a particular access control framework, the Privilege Calculus, with a possibility to override denied access for increased flexibility in hard to define or unanticipated...
Erik Rissanen, Babak Sadighi Firozabadi, Marek J. ...
68
Voted
IFIP
2004
Springer
15 years 3 months ago
Dependability and its threats - A taxonomy
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...
Algirdas Avizienis, Jean-Claude Laprie, Brian Rand...