Sciweavers

4109 search results - page 618 / 822
» Issues in Design and Implementation of Multimedia Software S...
Sort
View
WWW
2009
ACM
16 years 5 months ago
Discovering user profiles
In this paper we describe techniques for the discovery and construction of user profiles. Leveraging from the emergent data web, our system addresses the problem of sparseness of ...
Riddhiman Ghosh, Mohamed Dekhil
CCS
2005
ACM
15 years 10 months ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
135
Voted
ICESS
2005
Springer
15 years 10 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
WORDS
2003
IEEE
15 years 10 months ago
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
Avelino F. Zorzo, Panayiotis Periorellis, Alexande...
ICCBR
2003
Springer
15 years 10 months ago
SOFT-CBR: A Self-Optimizing Fuzzy Tool for Case-Based Reasoning
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
Kareem S. Aggour, Marc Pavese, Piero P. Bonissone,...