128 search results - page 12 / 26 » Declarative Representation of Proof Terms |
136
Voted
ICWE
2010
Springer
15 years 6 days ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
117
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
121
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
117
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
111
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...