Sciweavers

319 search results - page 30 / 64
» Juzi: a tool for repairing complex data structures
Sort
View
94
Voted
ICCS
2005
Springer
15 years 3 months ago
Games of Inquiry for Collaborative Concept Structuring
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
Mary A. Keeler, Heather D. Pfeiffer
ACG
2009
Springer
15 years 4 months ago
Data Assurance in Opaque Computations
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
Joe Hurd, Guy Haworth
CAISE
2004
Springer
15 years 3 months ago
An Approach to Heterogeneous Data Translation based on XML Conversion
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
Paolo Papotti, Riccardo Torlone
DSL
2009
14 years 7 months ago
CLOPS: A DSL for Command Line Options
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program's parameterization and t...
Mikolás Janota, Fintan Fairmichael, Viliam ...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 4 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...