403 search results - page 33 / 81 » Contracts for higher-order functions |
168
click to vote
WOA
2001
15 years 7 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
156
click to vote
IJCIS
1998
15 years 5 months ago
1998
Abstracting from basic communication mechanisms such as transactionally secure remote procedure calls and remote database access mechanisms, this includes service trading and bro...
151
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
155
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
184
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Wireless endoscopy is a very recent and at the same time unique technique allowing to visualize and study the occurrence of contractions and to analyze the intestine motility. Feat...