Sciweavers

7139 search results - page 190 / 1428
» Language Engineering in Practice
Sort
View
AVI
1998
15 years 7 months ago
VisTool: a visual tool for querying relational databases
In this paper we describe VisTool, a prototype tool for querying relational databases by means of the visual query language VISIONARY.
Francesca Benzi, Dario Maio, Stefano Rizzi
VMCAI
2012
Springer
14 years 2 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
CHI
2005
ACM
16 years 6 months ago
Comparing usability problems and redesign proposals as input to practical systems development
Usability problems predicted by evaluation techniques are useful input to systems development; it is uncertain whether redesign proposals aimed at alleviating those problems are l...
Erik Frøkjær, Kasper Hornbæk
EUROSYS
2009
ACM
16 years 3 months ago
Pointless tainting?: evaluating the practicality of pointer tainting
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
Asia Slowinska, Herbert Bos
HICSS
2005
IEEE
125views Biometrics» more  HICSS 2005»
16 years 2 days ago
Taking Topic Detection From Evaluation to Practice
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
James Allan, Stephen M. Harding, David Fisher, Alv...