Sciweavers

893 search results - page 108 / 179
» Modeling reactive systems in Java
Sort
View
AMAI
2006
Springer
15 years 4 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
WOA
2007
15 years 5 months ago
ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
Giancarlo Fortino, Alfredo Garro, Samuele Mascilla...
ENTCS
2006
90views more  ENTCS 2006»
15 years 4 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
ICALT
2005
IEEE
15 years 10 months ago
Force Feedback Slider (FFS): Interactive Device for Learning System Dynamics
Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
Adjan Kretz, Remo Huber, Morten Fjeld
SEFM
2005
IEEE
15 years 10 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider