2477 search results - page 108 / 496 » First-Order Interactive Programming |
97
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
132
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
This article outlines a number of important research issues in human-computer interaction in the e-commerce environment. It highlights some of the challenges faced by users in bro...
91
Voted
IFIP
1992
Springer
15 years 6 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
107
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...