Sciweavers

4743 search results - page 563 / 949
» The PlusCal Algorithm Language
Sort
View
ICLP
2007
Springer
16 years 26 days ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
POLICY
2007
Springer
16 years 25 days ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka
VL
2006
IEEE
16 years 22 days ago
Sketching with Conceptual Metaphors to Explain Computational Processes
To explore how people conceptualize a complex system, 232 university students were asked to sketch how a search engine works. While the sketches reveal a diverse range of visual a...
David G. Hendry
ADC
2006
Springer
145views Database» more  ADC 2006»
16 years 21 days ago
Dynamic labeling schemes for ordered XML based on type information
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
Damien K. Fisher, Franky Lam, William M. Shui, Ray...
IWRIDL
2006
ACM
149views Education» more  IWRIDL 2006»
16 years 20 days ago
From CLIR to CLIE: some lessons in NTCIR evaluation
Cross-language information retrieval (CLIR) facilitates the use of one language to access documents in other languages. Crosslanguage information extraction (CLIE) extracts releva...
Hsin-Hsi Chen