Sciweavers

4902 search results - page 265 / 981
» Multi-agent Systems Methodology
Sort
View
139
Voted
ITC
2003
IEEE
181views Hardware» more  ITC 2003»
15 years 11 months ago
Latch Divergency In Microprocessor Failure Analysis
This paper presents an approach for analysis of system state differences observable through the scan chain for the debug of functional failures. A novel methodology for Latch Dive...
Peter Dahlgren, Paul Dickinson, Ishwar Parulkar
APLAS
2003
ACM
15 years 11 months ago
Constraint Functional Logic Programming for Origami Construction
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
151
Voted
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 10 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
148
Voted
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 9 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
ETFA
2008
IEEE
15 years 7 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Daniela Cancila, Roberto Passerone