Sciweavers

6829 search results - page 178 / 1366
» Quantitative Generalizations of Languages
Sort
View
ASSETS
2008
ACM
15 years 8 months ago
American sign language vocabulary: computer aided instruction for non-signers
In this paper we present the results of a study designed to evaluate the computer-based methods of learning American Sign Language (ASL). We describe a method including an initial...
Valerie Henderson-Summet, Kimberly Weaver, Tracy L...
WWW
2006
ACM
16 years 7 months ago
DemIL: an online interaction language between citizen and government
Electronic democracy should provide information and service for the citizens on the Internet, allowing room for debate, participation and electronic voting. The languages being ad...
Cristiano Maciel, Ana Cristina Bicharra Garcia
POPL
2010
ACM
16 years 3 months ago
Integrating Typed and Untyped Code in a Scripting Language
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
Francesco Zappa Nardelli, Jan Vitek, Johan Ös...
PLDI
2005
ACM
15 years 11 months ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich
ATAL
2005
Springer
15 years 11 months ago
A secure architectural description language for agent systems
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
Haralambos Mouratidis, Manuel Kolp, Stéphan...