Sciweavers

599 search results - page 56 / 120
» Interpreting the Object Constraint Language
Sort
View
ICFP
2003
ACM
15 years 11 months ago
A user-centred approach to functions in Excel
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...
Simon L. Peyton Jones, Alan F. Blackwell, Margaret...
CLEF
2005
Springer
15 years 5 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 4 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
ICALT
2003
IEEE
15 years 5 months ago
Completing LOM - How Additional Axioms Increase the Utility of Learning Object Metadata
Learning Objects Metadata describing educational resources in order to allow better reusability and retrieval. Unfortunately, annotating complete courses thoroughly with LOM metad...
Jan Brase, Mark Painter, Wolfgang Nejdl
FUIN
2006
85views more  FUIN 2006»
14 years 12 months ago
Implementing Typeful Program Transformations
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
Chiyan Chen, Rui Shi, Hongwei Xi