3468 search results - page 414 / 694 » An open logical framework |
153
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...
135
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
163
click to vote
MA
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
148
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
For several NP-hard network design problems, the best known approximation algorithms are remarkably simple randomized algorithms called Sample-Augment algorithms in [11]. The algor...
144
click to vote
EUC
2008
Springer
15 years 6 months ago
2008
Springer
The combined advances of open mobile platforms and online social networking applications (SNAs) are driving pervasive computing to the real-world users, as the mobile SNAs are exp...