4099 search results - page 215 / 820 » A Framework for Interactive Proof |
193
click to vote
ISCIS
2005
Springer
16 years 6 hour ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
156
click to vote
WAIM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
207
click to vote
ESAW
2004
Springer
15 years 12 months ago
2004
Springer
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
137
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...
172
click to vote
CSB
2003
IEEE
15 years 11 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...