519 search results - page 28 / 104 » Using Goal-Models to Analyze Variability |
AAAI
2000
13 years 9 months ago
2000
Many problem-solving tasks can be formalized as constraint satisfaction problems (CSPs). In a multi-agent setting, information about constraints and variables may belong to differ...
DSS
2006
13 years 7 months ago
2006
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...
BMCBI
2008
13 years 7 months ago
2008
Background: Protein structure comparison is a key problem in bioinformatics. There exist several methods for doing protein comparison, being the solution of the Maximum Contact Ma...
JAR
2006
13 years 7 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Location-based and location-oriented applications will be amongst the most powerful drivers of organizational change in the coming years. However, the strategic use of these techn...