Sciweavers

3435 search results - page 305 / 687
» Aspect Model Unweaving
Sort
View
ISQED
2009
IEEE
103views Hardware» more  ISQED 2009»
16 years 1 months ago
A systematic approach to modeling and analysis of transient faults in logic circuits
With technology scaling, the occurrence rate of not only single, but also multiple transients resulting from a single hit is increasing. In this work, we consider the effect of th...
Natasa Miskov-Zivanov, Diana Marculescu
PROFES
2009
Springer
16 years 1 months ago
Integrating Value and Utility Concepts into a Value Decomposition Model for Value-Based Software Engineering
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
Mikko Rönkkö, Christian Frühwirth, ...
FSTTCS
2007
Springer
16 years 25 days ago
Order Scheduling Models: Hardness and Algorithms
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
Naveen Garg, Amit Kumar, Vinayaka Pandit
IAT
2006
IEEE
16 years 22 days ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
16 years 9 days ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...