6174 search results - page 836 / 1235 » The language of social software |
133
click to vote
IHM
2005
ACM
16 years 12 days ago
2005
ACM
This paper describes a library of Dialogical Widget for a mediator architecture. It provides a development framework for software designers willing to include a conversational ass...
184
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
165
Voted
ECLIPSE
2004
ACM
16 years 8 days ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
144
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
182
click to vote
CC
2004
Springer
16 years 7 days ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...