Sciweavers

7380 search results - page 791 / 1476
» Engineering Software Intensive Systems
Sort
View
IUI
1997
ACM
15 years 11 months ago
Intelligent Network News Reader
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...
Hitoshi Isahara, Hiromi Ozaku
UIST
1997
ACM
15 years 11 months ago
Simplifying Component Development in an Integrated Groupware Environment
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
Mark Roseman, Saul Greenberg
TAPSOFT
1997
Springer
15 years 11 months ago
Inclusion Constraints over Non-empty Sets of Trees
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
Martin Müller, Joachim Niehren, Andreas Podel...
TAPSOFT
1997
Springer
15 years 11 months ago
A Type-Based Approach to Program Security
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
Dennis M. Volpano, Geoffrey Smith
ECSA
2007
Springer
15 years 11 months ago
Leveraging Architecture Patterns to Satisfy Quality Attributes
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...
Neil B. Harrison, Paris Avgeriou