Sciweavers

2607 search results - page 347 / 522
» On the Architecture of System Verification Environments
Sort
View
MICAI
2004
Springer
15 years 12 months ago
Don't You Escape! I'll Tell You My Story
Abstract. This paper makes two contributions to increasing the engagement of users in virtual heritage environments by adding virtual living creatures. This work is carried out on ...
Jesús Ibáñez, Carlos Delgado-...
IPPS
2003
IEEE
15 years 12 months ago
A GRASP-Based Algorithm for Solving DVE Partitioning Problem
Graphic cards performance increase and fast Internet connections are popularising Networked Virtual Environments. This immature paradigm of real-time applications has still to sol...
Pedro Morillo, Marcos Fernández
EUROPAR
2003
Springer
15 years 11 months ago
Modeling Context-Aware Behavior by Interpreted ECA Rules
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
Wolfgang Beer, Volker Christian, Alois Ferscha, La...
IUI
1997
ACM
15 years 10 months ago
Providing User Support for Interactive Applications with FUSE
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
Frank Lonczewski
AAAI
2008
15 years 9 months ago
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
Dan Tappan