19 search results - page 2 / 4 » A first approach to the closed-form specification and analys... |
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
COMMA
2006
13 years 6 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...
IJRR
2000
13 years 5 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...
COORDINATION
2000
Springer
13 years 9 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...