Sciweavers

4737 search results - page 699 / 948
» The LOGIC negotiation model
Sort
View
ECTEL
2006
Springer
15 years 11 months ago
Multimedia Authoring for CoPs
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
Romain Deltour, Agnès Guerraz, Cécil...
FC
2006
Springer
99views Cryptology» more  FC 2006»
15 years 11 months ago
A Protocol for Secure Public Instant Messaging
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
Mohammad Mannan, Paul C. van Oorschot
FAABS
2000
Springer
15 years 11 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
HPCNCS
2007
15 years 8 months ago
A Formal Approach for Identity Management in Federated Web Services
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...
CADUI
2006
15 years 8 months ago
Designing And Developing Multi-User, Multi-Device Web Interfaces
: The need for support of multi-user interaction is growing in several application domains, including the Web. However, there is a lack of tools able to support designers and devel...
Fabio Paternò, Ines Santos