Sciweavers

1525 search results - page 107 / 305
» POSD-a notation for presenting complex systems of processes
Sort
View
DC
2008
15 years 4 months ago
On implementing omega in systems with weak reliability and synchrony assumptions
We study the feasibility and cost of implementing --a fundamental failure detector at the core of many algorithms--in systems with weak reliability and synchrony assumptions. Intui...
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, H...
QEST
2008
IEEE
15 years 10 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
APSEC
2005
IEEE
15 years 9 months ago
Ontology-based Active Requirements Engineering Framework
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
Seok Won Lee, Robin A. Gandhi
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 8 months ago
Efficient High-Level modeling in the networking domain
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
Christian Zebelein, Joachim Falk, Christian Haubel...
142
Voted
ECAL
2005
Springer
15 years 9 months ago
A Dynamical Systems Approach to Learning: A Frequency-Adaptive Hopper Robot
We present an example of the dynamical systems approach to learning and adaptation. Our goal is to explore how both control and learning can be embedded into a single dynamical sys...
Jonas Buchli, Ludovic Righetti, Auke Jan Ijspeert