Sciweavers

4451 search results - page 567 / 891
» On Random Ordering Constraints
Sort
View
ECOWS
2008
Springer
15 years 8 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
INFOSCALE
2007
ACM
15 years 8 months ago
A flexible mandatory access control policy for XML databases
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...
Hong Zhu, Renchao Jin, Kevin Lü
DLT
2008
15 years 8 months ago
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
Mohamed Faouzi Atig, Benedikt Bollig, Peter Haberm...
IFIP12
2007
15 years 8 months ago
A Multi-Agent Design for a Home Automation System dedicated to power management
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
Shadi Abras, Stéphane Ploix, Sylvie Pesty, ...
LREC
2008
110views Education» more  LREC 2008»
15 years 8 months ago
New Telephone Speech Databases for French: a Children Database and an optimized Adult Corpus
This paper presents the results of the NEOLOGOS project: a children database and an optimized adult database for the French language. A new approach was adopted for the collection...
Djamel Mostefa, Arnaud Vallee