Sciweavers

1776 search results - page 155 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
RTCSA
1997
IEEE
14 years 14 days ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
CONIELECOMP
2006
IEEE
14 years 2 months ago
Integrating Advanced GLSL Shading and XML Agents into a Learning-Oriented 3D Engine
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
Edgar Velázquez-Armendáriz, Erik Mil...
IUI
2004
ACM
14 years 1 months ago
Tailored audio augmented environments for museums
The paper deals with the design of an intelligent user interface augmenting the user experience in a museum domain, by providing and immersive audio environment. We focus on the i...
Lucia Terrenghi, Andreas Zimmermann
ITCC
2002
IEEE
14 years 1 months ago
Bridging O-Telos and XML with XML Schema: the Authoring Environment for KBS Adaptive Hyperbook
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
Changtao Qu, Wolfgang Nejdl
MATES
2005
Springer
14 years 1 months ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...