769 search results - page 129 / 154 » Is Logic all in our Heads |
PADL
2009
Springer
14 years 11 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
DIS
2009
Springer
14 years 5 months ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
OTM
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
TABLEAUX
2005
Springer
14 years 4 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...