Sciweavers

5200 search results - page 721 / 1040
» Symbolic models for control systems
Sort
View
ASM
2000
ASM
15 years 12 months ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
HAPTICS
2002
IEEE
16 years 14 days ago
Teaching to Write Japanese Characters Using a Haptic Interface
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...
Jorge Solis, Carlo Alberto Avizzano, Massimo Berga...
SRDS
2005
IEEE
16 years 1 months ago
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
Sara Bouchenak, Fabienne Boyer, Sacha Krakowiak, D...
164
Voted
ICCS
2003
Springer
16 years 22 days ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
HOTOS
1999
IEEE
15 years 11 months ago
An Economic Approach to Adaptive Resource Management
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...
Neil Stratford, Richard Mortier