1226 search results - page 196 / 246 » Proofs, Programs and Abstract Complexity |
117
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
133
Voted
CORR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
129
click to vote
FORTE
2009
15 years 28 days ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
140
click to vote
HCI
2009
15 years 27 days ago
2009
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
233
click to vote
AMW
2011
14 years 6 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...