Sciweavers

1818 search results - page 133 / 364
» The Many Faces of a Translation
Sort
View
SPLC
2007
15 years 2 months ago
Feature Diagrams and Logics: There and Back Again
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
Krzysztof Czarnecki, Andrzej Wasowski
93
Voted
VVEIS
2007
15 years 2 months ago
Transformation of BPMN Models for Behaviour Analysis
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, J...
106
Voted
CLEF
2010
Springer
15 years 1 months ago
HITS and Misses: Combining BM25 with HITS for Expert Search
Abstract. This paper describes the participation of Dublin City University in the CriES (Cross-Lingual Expert Search) pilot challenge. To realize expert search, we combine traditio...
Johannes Leveling, Gareth J. F. Jones
79
Voted
CORR
2006
Springer
67views Education» more  CORR 2006»
15 years 25 days ago
Considering users' behaviours in improving the responses of an information base
: In this paper, our aim is to propose a model that helps in the efficient use of an information system by users, within the organization represented by the IS, in order to resolve...
Babajide Afolabi, Odile Thiery
117
Voted
IPL
2008
102views more  IPL 2008»
15 years 24 days ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones