Sciweavers

3828 search results - page 338 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
IWPSE
2003
IEEE
15 years 12 months ago
Reengineering a PC-Based System into the Mobile Device Product Line
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
Weishan Zhang, Stan Jarzabek, Neil Loughran, Awais...
PRESENCE
2007
167views more  PRESENCE 2007»
15 years 6 months ago
TimbreFields: 3D Interactive Sound Models for Real-Time Audio
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
Richard Corbett, Kees van den Doel, John E. Lloyd,...
ATC
2009
Springer
16 years 1 months ago
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-P...
DATE
2008
IEEE
112views Hardware» more  DATE 2008»
16 years 1 months ago
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
Jonas Elmqvist, Simin Nadjm-Tehrani
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 11 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh