Sciweavers

6171 search results - page 495 / 1235
» The FrameNet Data and Software
Sort
View
OOPSLA
2007
Springer
16 years 1 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
VMCAI
2007
Springer
16 years 29 days ago
On Flat Programs with Lists
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
Marius Bozga, Radu Iosif
W2GIS
2007
Springer
16 years 29 days ago
Towards the Next Generation of Location-Based Services
Location-based services (LBS) constitute an emerging application domain rapidly introduced in modern life habits. However, given that LBS already count a few years of commercial li...
Elias Frentzos, Kostas Gratsias, Yannis Theodoridi...
AUIC
2006
IEEE
16 years 28 days ago
Visualising phylogenetic trees
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
Wan Nazmee Wan Zainon, Paul R. Calder
ISSRE
2006
IEEE
16 years 27 days ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...