Sciweavers

4477 search results - page 346 / 896
» Applications and Environments for Multi-agent Systems
Sort
View
192
Voted
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
IADT
1998
100views more  IADT 1998»
15 years 7 months ago
Task Handling in Workflow Management Systems
Work ow management systems aim to automate the execution of business processes. One of the objectives of the work ow systems is to include the already existing applications such a...
Pinar Karagoz, Sena Nural Arpinar, Pinar Koksal, N...
172
Voted
EDUTAINMENT
2006
Springer
15 years 8 months ago
The ARTable: An AR-Based Tangible User Interface System
Augmented Reality (AR) and Tangible User Interface (TUI) have been proven to provide intuition to human computer interface with richness of a tactile sense. Recent implementations ...
Youngmin Park, Woontack Woo
161
Voted
ETFA
2008
IEEE
16 years 18 days ago
Real-time enabled debugging for distributed systems
The distribution of real-time tasks in a networked environment in principle has several advantages, above all a high degree of flexibility easing system extension and replacement...
Georg Gaderer, Patrick Loschmidt, Thilo Sauter
HIPC
2000
Springer
15 years 9 months ago
Meta-data Management System for High-Performance Large-Scale Scientific Data Access
Many scientific applications manipulate large amount of data and, therefore, are parallelized on high-performance computing systems to take advantage of their computational power a...
Wei-keng Liao, Xiaohui Shen, Alok N. Choudhary