Sciweavers

46 search results - page 5 / 10
» An algebraic approach to file synchronization
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 4 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
MTA
2000
112views more  MTA 2000»
13 years 9 months ago
Interactive Multimedia Documents: A Modeling, Authoring and Rendering Approach
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
Michalis Vazirgiannis, D. Tsirikos, Th. Markousis,...
SWS
2004
ACM
14 years 3 months ago
Creating non-decomposable stream bundles in multimedia web services using uSMIL
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
Naren Kodali, Csilla Farkas, Duminda Wijesekera
MM
2006
ACM
127views Multimedia» more  MM 2006»
14 years 3 months ago
Interactive audio-visual video browsing
We present the AV-ZoomSlider interface for video browsing. It complements existing approaches, such as storyboards and video skims by enabling users to interactively navigate alon...
Wolfgang Hürst
SIGCSE
2002
ACM
136views Education» more  SIGCSE 2002»
13 years 9 months ago
PortOS: an educational operating system for the Post-PC environment
In this paper, we describe PortOS, an educational operating system designed to complement undergraduate and graduate level classes on operating systems. PortOS is a complete user-...
Benjamin Atkin, Emin Gün Sirer