Sciweavers

4356 search results - page 184 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
200
Voted
BTW
2005
Springer
107views Database» more  BTW 2005»
16 years 18 days ago
DBMS Architecture - Still an Open Problem
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
Theo Härder
JMLC
2000
Springer
15 years 10 months ago
Composable Message Semantics in Oberon
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
Markus Hof
DAGSTUHL
1998
15 years 8 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...
POPL
2011
ACM
14 years 10 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
155
Voted
SPEECH
1998
83views more  SPEECH 1998»
15 years 6 months ago
A stochastic model of intonation for text-to-speech synthesis
This paper presents a stochastic model of intonation contours for use in text-to-speech s. The model has two modules, a linguistic module that generates abstract prosodic rom text...
Jean Véronis, Philippe Di Cristo, Fabienne ...