Sciweavers

3119 search results - page 264 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
154
Voted
ICRA
2000
IEEE
96views Robotics» more  ICRA 2000»
15 years 9 months ago
Design of Synchronized Supply Chains: A Six Sigma Tolerancing Approach
A supply chain network can be viewed as a network of facilities in which a customer order will flow through internal business processes such as procurement, production, and transp...
Y. Narahari, Nukala Viswanadham, R. Bhattacharya
107
Voted
ICCAD
2007
IEEE
88views Hardware» more  ICCAD 2007»
16 years 1 months ago
Extending systems-on-chip to the third dimension: performance, cost and technological tradeoffs
Abstract—Because of the today’s market demand for highperformance, high-density portable hand-held applications, electronic system design technology has shifted the focus from ...
Roshan Weerasekera, Li-Rong Zheng, Dinesh Pamunuwa...
TC
2010
15 years 3 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
124
Voted
HYBRID
2007
Springer
15 years 10 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
133
Voted
CHI
2011
ACM
14 years 8 months ago
Designing sports: a framework for exertion games
Exertion games require investing physical effort. The fact that such games can support physical health is tempered by our limited understanding of how to design for engaging exert...
Florian Mueller, Darren Edge, Frank Vetere, Martin...