Sciweavers

11 search results - page 2 / 3
» Logical Spreadsheets
Sort
View
KER
2007
72views more  KER 2007»
14 years 11 months ago
An introduction to logical spreadsheets
Michael Kassoff, André Valente
63
Voted
RULEML
2010
Springer
14 years 10 months ago
Logical Spreadsheets
Michael R. Genesereth
EGC
2005
Springer
15 years 5 months ago
XDTM: The XML Data Type and Mapping for Specifying Datasets
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
Luc Moreau, Yong Zhao, Ian T. Foster, Jens-S. V&ou...
C5
2004
IEEE
15 years 3 months ago
Skeleton - Easy Simulation System
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
Takashi Yamamiya
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
14 years 12 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...