Sciweavers

5101 search results - page 348 / 1021
» Capturing Context Requirements
Sort
View
SERP
2003
15 years 8 months ago
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels
Abstract Methodologies involves both process elements and product elements. The OPEN Process Framework (OPF) focusses largely on process elements in the context of object-oriented ...
Brian Henderson-Sellers, Paolo Giorgini, Paolo Bre...
IJCAI
1989
15 years 8 months ago
Explanation Based Program Transformation
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
Maurice Bruynooghe, Luc De Raedt, Danny De Schreye
CAEPIA
2009
Springer
15 years 7 months ago
Base Belief Change for Finitary Monotonic Logics
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
Pere Pardo, Pilar Dellunde, Lluis Godo
CORR
2010
Springer
127views Education» more  CORR 2010»
15 years 6 months ago
Statistical and Computational Tradeoffs in Stochastic Composite Likelihood
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...
Joshua Dillon, Guy Lebanon
PERCOM
2008
ACM
15 years 6 months ago
An application framework for mobile, context-aware trails
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...
Cormac Driver, Siobhán Clarke