26354 search results - page 345 / 5271 » How we refactor, and how we know it |
175
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities. We analyze how these heterogeneous approaches ca...
169
click to vote
DLOG
2008
15 years 9 months ago
2008
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satisfiability of quantified Boolean formulas...
123
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. McDermott [12,13] introduced the concept "Artificial Intelligence meets Natural Stupidity". In this paper, we explore how Artificial Intelligence and Symbolic C...
197
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
174
click to vote
HCI
2007
15 years 8 months ago
2007
The use of mobile technologies for self services, and the inclusion of elderly and cognitively disabled users in the self-service society can be improved by the application of appr...