16844 search results - page 3090 / 3369 » How to Design Programs |
179
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
190
click to vote
CHI
2004
ACM
16 years 2 days ago
2004
ACM
We introduce Topobo, a 3D constructive assembly system embedded with kinetic memory, the ability to record and playback physical motion. Unique among modeling systems is Topoboʼs...
158
click to vote
ISSTA
2004
ACM
16 years 2 days ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
177
click to vote
ISSTA
2004
ACM
16 years 2 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
175
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...