Sciweavers

1515 search results - page 143 / 303
» On the relation of aspects and monads
Sort
View
FMOODS
2003
13 years 11 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
IJCAI
2003
13 years 11 months ago
Concept Linking for Information Integration in Open Book and Sentinel
Opening up large amounts of loosely structured information for easy access and use is a complex problem. This paper describes two systems that address different aspects of the pro...
Stuart Watt
SPLC
2004
13 years 11 months ago
COVAMOF: A Framework for Modeling Variability in Software Product Families
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan B...
RANLP
2003
13 years 11 months ago
Semantically driven approach for scenario recognition in the IE system FRET
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...
Svetla Boytcheva, Milena Yankova, Albena Strupchan...
ECIS
2000
13 years 11 months ago
Melding Information Systems Evaluation with the Information Systems Development Life-Cycle
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
Paul Beynon-Davies, Ian Owens, Michael Lloyd-Willi...