Sciweavers

1261 search results - page 100 / 253
» Extending the Capabilities of Component Models for Embedded ...
Sort
View
SELMAS
2005
Springer
14 years 2 months ago
Engineering Organization-Based Multiagent Systems
In this paper, we examine the Multiagent Systems Engineering (MaSE) methodology and its applicability to developing organization-based multiagent systems, which are especially rele...
Scott A. DeLoach
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
13 years 7 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong
ETFA
2008
IEEE
14 years 3 months 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
FM
2003
Springer
136views Formal Methods» more  FM 2003»
14 years 2 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
JCP
2006
115views more  JCP 2006»
13 years 9 months ago
Fault Tolerance in a Multi-Layered DRE System: A Case Study
Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications opera...
Paul Rubel, Joseph P. Loyall, Richard E. Schantz, ...