Sciweavers

3505 search results - page 419 / 701
» A Language for Human Action
Sort
View
VL
2010
IEEE
218views Visual Languages» more  VL 2010»
15 years 5 months ago
Using Association Metrics to Help Users Navigate API Documentation
-- In the past decade there has been spectacular growth in the number and size of third-party libraries, frameworks, toolkits and other Application Programming Interfaces (APIs) av...
Daniel S. Eisenberg, Jeffrey Stylos, Andrew Faulri...
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
15 years 4 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
SEMWEB
2010
Springer
15 years 4 months ago
Evolution of DL - Lite Knowledge Bases
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dm...
AIED
2011
Springer
14 years 10 months ago
Self-assessment of Motivation: Explicit and Implicit Indicators in L2 Vocabulary Learning
Self-assessment motivation questionnaires have been used in classrooms yet many researchers find only a weak correlation between answers to these questions and learning. In this pa...
Kevin Dela Rosa, Maxine Eskenazi
ICFP
2012
ACM
13 years 9 months ago
Addressing covert termination and timing channels in concurrent information flow systems
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit ...