Sciweavers

4743 search results - page 563 / 949
» The PlusCal Algorithm Language
Sort
View
113
Voted
ICLP
2007
Springer
15 years 8 months 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
126
Voted
POLICY
2007
Springer
15 years 8 months 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
15 years 8 months 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
137
Voted
ADC
2006
Springer
145views Database» more  ADC 2006»
15 years 8 months 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...
122
Voted
IWRIDL
2006
ACM
149views Education» more  IWRIDL 2006»
15 years 8 months 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