Sciweavers

4255 search results - page 197 / 851
» Database: Models, Languages, Design
Sort
View
196
Voted
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 5 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 11 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting
241
Voted
TKDE
2012
194views Formal Methods» more  TKDE 2012»
13 years 9 months ago
A Query Formulation Language for the Data Web
— We present a query formulation language (called MashQL) in order to easily query and fuse structured data on the web. The main novelty of MashQL is that it allows people with l...
Mustafa Jarrar, Marios D. Dikaiakos
155
Voted
ESOP
2004
Springer
16 years 13 days ago
A Semantic Framework for Designer Transactions
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L...
186
Voted
INTERSPEECH
2010
15 years 1 months ago
SCARF: a segmental conditional random field toolkit for speech recognition
This paper describes a new toolkit - SCARF - for doing speech recognition with segmental conditional random fields. It is designed to allow for the integration of numerous, possib...
Geoffrey Zweig, Patrick Nguyen