Sciweavers

321 search results - page 51 / 65
» concurrency 2004
Sort
View
ISCIS
2004
Springer
14 years 2 months ago
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
Byeong-Mo Chang, Jong-Deok Choi
ISMIR
2004
Springer
184views Music» more  ISMIR 2004»
14 years 2 months ago
A Polyphonic Music Retrieval System Using N-Grams
This paper describes the development of a polyphonic music retrieval system with the n-gram approach. Musical n-grams are constructed from polyphonic musical performances in MIDI ...
Shyamala Doraisamy, Stefan M. Rüger
PCM
2004
Springer
121views Multimedia» more  PCM 2004»
14 years 2 months ago
A Java-Based Collaborative Authoring System for Multimedia Presentation
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
Mee Young Sung, Do Hyung Lee
SACRYPT
2004
Springer
143views Cryptology» more  SACRYPT 2004»
14 years 2 months ago
Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
Pierre-Alain Fouque, Antoine Joux, Guillaume Poupa...
SPIN
2004
Springer
14 years 2 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober