2859 search results - page 283 / 572 » A Programming Environment for Bousi-Prolog |
180
click to vote
MBUI
2004
15 years 8 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
178
click to vote
WOA
2000
15 years 8 months ago
2000
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
176
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
190
click to vote
APAL
2008
15 years 6 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
163
click to vote
IEE
2008
15 years 6 months ago
2008
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...