Sciweavers

1335 search results - page 6 / 267
» The Consistency of Web Conversations
Sort
View
VLDB
2009
ACM
165views Database» more  VLDB 2009»
14 years 7 months ago
Online pairing of VoIP conversations
This paper answers the following question; given a multiplicity of evolving 1-way conversations, can a machine or an algorithm discern the conversational pairs in an online fashio...
Michail Vlachos, Aris Anagnostopoulos, Olivier Ver...
JSC
2011
61views more  JSC 2011»
13 years 2 months ago
Static consistency checking of web applications with WebDSL
Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kat...
ICIW
2007
IEEE
13 years 7 months ago
Analysis of Web Services Secure Conversation with Formal Methods
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...
JSYML
2007
62views more  JSYML 2007»
13 years 7 months ago
A reduction of the NF consistency problem
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Athanassios Tzouvaras
CHI
1999
ACM
13 years 11 months ago
Chat Circles
Although current online chat environments provide new opportunities for communication, they are quite constrained in their ability to convey many important pieces of social inform...
Fernanda B. Viégas, Judith S. Donath