Sciweavers

6775 search results - page 348 / 1355
» Diagnosis of Active Systems
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
FIW
2009
138views Communications» more  FIW 2009»
15 years 4 months ago
Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura,...
VLDB
1994
ACM
162views Database» more  VLDB 1994»
15 years 11 months ago
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
Christine Collet, Thierry Coupaye, T. Svensen
JALC
2006
133views more  JALC 2006»
15 years 6 months ago
Power and Efficiency of Minimal Parallelism in Polarizationless P Systems
Minimal parallelism was recently introduced [3] as a way of using the rules of a P system: from each set of applicable rules associated to a membrane, at least one rule must be ap...
Tseren-Onolt Ishdorj
JSW
2007
112views more  JSW 2007»
15 years 6 months ago
A Framework for Design Engineering Education with Workflow-based e-Learning System
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
Kazuo Hiekata, Hiroyuki Yamato, Piroon Rojanakamol...