Sciweavers

1008 search results - page 101 / 202
» A graphic functional-dataflow language
Sort
View
CP
2005
Springer
15 years 3 months ago
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
DSVIS
2005
Springer
15 years 3 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
BPM
2004
Springer
108views Business» more  BPM 2004»
15 years 3 months ago
SMART: System Model Acquisition from Requirements Text
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen
FDG
2009
ACM
15 years 2 months ago
Can middle-schoolers use Storytelling Alice to make games?: results of a pilot study
In this paper we share experiences from two 2-week summer courses for middle-school students in game programming using Storytelling Alice (SA). The students spent 20 hours learnin...
Linda L. Werner, Jill Denner, Michelle Bliesner, P...
SEKE
2001
Springer
15 years 2 months ago
Gadget: A Tool for Extracting the Dynamic Structure of Java Programs
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
Juan Gargiulo, Spiros Mancoridis