Sciweavers

1757 search results - page 127 / 352
» Alternating Refinement Relations
Sort
View
CSFW
1999
IEEE
15 years 7 months ago
Process Algebra and Non-Interference
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
Peter Y. A. Ryan, Steve A. Schneider
HICSS
1999
IEEE
125views Biometrics» more  HICSS 1999»
15 years 7 months ago
ASHRAM: Active Summarization and Markup
Typically, searching for information in a document collection amounts to refining a query and then scanning a large number of documents to determine their relevance. Active Summar...
Mary S. Neff, James W. Cooper
CP
1999
Springer
15 years 7 months ago
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
Jorge Cruz, Pedro Barahona
123
Voted
IWAN
1999
Springer
15 years 7 months ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu
KDD
1999
ACM
142views Data Mining» more  KDD 1999»
15 years 7 months ago
Mining GPS Data to Augment Road Models
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
Seth Rogers, Pat Langley, Christopher Wilson