Sciweavers

871 search results - page 130 / 175
» Modular Design of Reactive Systems
Sort
View
AIS
2004
Springer
14 years 1 months ago
Proposal of High Level Architecture Extension
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
Jae-Hyun Kim, Tag Gon Kim
ICALT
2003
IEEE
14 years 1 months ago
A Metadata Model for Capturing Presentations
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
Ralf Einhorn, Stephan Olbrich, Wolfgang Nejdl
BIRTHDAY
2006
Springer
13 years 11 months ago
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
Arnon Avron, Anna Zamansky
IMSA
2001
132views Multimedia» more  IMSA 2001»
13 years 9 months ago
Performance of Zebra Routing Software
Zebra is publicly available free routing software that is distributed under GNU General Public License. It supports the following IP routing protocols: BGP-4, RIPv1, RIPv2 and OSP...
R. Fatoohi, R. Singh
INTERACT
2003
13 years 9 months ago
Manipulating and Annotating Slides in a Multi-Display Environment
: In a meeting room environment with multiple public wall displays and personal notebook computers, it is possible to design a highly interactive experience for manipulating and an...
Patrick Chiu, Qiong Liu, John S. Boreczky, Jonatha...