Sciweavers

342 search results - page 27 / 69
» Calling context abstraction with shapes
Sort
View
ECIS
2003
15 years 1 months ago
Examining e-business models: applying a holistic approach in the mobile environment
The benefits of living in a fast changing information society become evident if effective ebusiness practices are implemented, offering companies exposure and access to global mar...
Konstantina Vasilopoulou, Polyxeni Ziouvelou, Adam...
78
Voted
AAAI
1998
15 years 1 months ago
Knowledge Intensive Exception Spaces
In this paper we extend the concept of exception spaces as defined by Cost and Salzberg (Cost and Salzberg, 1993), in the context of exemplar-based reasoning. Cost et al. defined ...
Sarabjot S. Anand, David W. Patterson, John G. Hug...
79
Voted
CORR
2006
Springer
119views Education» more  CORR 2006»
14 years 11 months ago
Calculating modules in contextual logic program refinement
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
Robert Colvin, Ian J. Hayes, Paul A. Strooper
UML
2004
Springer
15 years 5 months ago
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
Ragnhild Van Der Straeten, Viviane Jonckers, Tom M...
87
Voted
CHI
2007
ACM
16 years 5 days ago
Pointing and beyond: an operationalization and preliminary evaluation of multi-scale searching
A number of experimental studies based on domain-specific tasks have evaluated the efficiency of navigation techniques for searching multi-scale worlds. The discrepancies among th...
Emmanuel Pietriga, Caroline Appert, Michel Beaudou...