Sciweavers

3815 search results - page 29 / 763
» An Implementation of Session Types
Sort
View
SEAA
2008
IEEE
14 years 2 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
UIST
2006
ACM
14 years 1 months ago
Summarizing personal web browsing sessions
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
Mira Dontcheva, Steven M. Drucker, Geraldine Wade,...
IJCAI
2003
13 years 9 months ago
ODISET: On-line Distributed Session Tracing using Agents
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
Salvador Mandujano, Arturo Galván
TSD
2010
Springer
13 years 6 months ago
Online TV Captioning of Czech Parliamentary Sessions
Abstract. In the paper we introduce the on-line captioning system developed by our teams and used by the Czech Television (CTV), the public service broadcaster in the Czech Republi...
Jan Trmal, Ales Prazák, Zdenek Loose, Josef...