Sciweavers

4139 search results - page 562 / 828
» Designing and Implementing Combinator Languages
Sort
View
133
Voted
CW
2004
IEEE
15 years 8 months ago
Analytically-Defined Collaborative Shape Modeling in VRML
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
Qi Liu, Alexei Sourin
151
Voted
HPCN
1995
Springer
15 years 8 months ago
Using optimistic execution techniques as a parallelisation tool for general purpose computing
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
Adam Back, Stephen Turner
CCS
2008
ACM
15 years 7 months ago
Enforcing a security pattern in stakeholder goal models
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Ying...
BNCOD
2007
104views Database» more  BNCOD 2007»
15 years 6 months ago
Integrity Checking and Maintenance with Active Rules in XML Databases
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
Henning Christiansen, Maria Rekouts
126
Voted
LREC
2010
176views Education» more  LREC 2010»
15 years 6 months ago
Vergina: A Modern Greek Speech Database for Speech Synthesis
The present paper outlines the Vergina speech database, which was developed in support of research and development of corpus-based unit selection and statistical parametric speech...
Alexandros Lazaridis, Theodoros Kostoulas, Todor G...