Sciweavers

5101 search results - page 484 / 1021
» Capturing Context Requirements
Sort
View
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
16 years 1 months ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
SEMWEB
2007
Springer
16 years 1 months ago
Ontology-Based Information Extraction for Business Intelligence
Abstract. Business Intelligence (BI) requires the acquisition and aggregation of key pieces of knowledge from multiple sources in order to provide valuable information to customers...
Horacio Saggion, Adam Funk, Diana Maynard, Kalina ...
SGAI
2007
Springer
16 years 1 months ago
Expressive security policy rules using Layered Conceptual Graphs
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...
Madalina Croitoru, Liang Xiao 0002, David Dupplaw,...
SGAI
2007
Springer
16 years 1 months ago
Supporting Temporal Information in Medical Care Planning
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
Kirsty Bradbrook, Graham Winstanley
WEBI
2007
Springer
16 years 1 months ago
Correct your text with Google
With the increasing amount of text files that are produced nowadays, spell checkers have become essential tools for everyday tasks of millions of end users. Among the years, seve...
Stéphanie Jacquemont, François Jacqu...