2455 search results - page 298 / 491 » Graphical abstract help |
284
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
162
click to vote
SYNASC
2005
IEEE
16 years 19 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
159
click to vote
TACAS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
168
click to vote
APLAS
2004
ACM
16 years 14 days ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
192
click to vote
SELMAS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...