Sciweavers

1456 search results - page 93 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
ETFA
2006
IEEE
16 years 15 days ago
An IEC61499 Execution Environment for an aJile-based Field Device
—The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are ...
Kleanthis Thramboulidis, Nikolaos Papakonstantinou
HASE
1999
IEEE
15 years 10 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
ASE
1999
126views more  ASE 1999»
15 years 6 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
CHI
1998
ACM
15 years 10 months ago
Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
Guy A. Boy
ICDE
2010
IEEE
206views Database» more  ICDE 2010»
15 years 8 months ago
HECATAEUS: Regulating Schema Evolution
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
George Papastefanatos, Panos Vassiliadis, Alkis Si...