Sciweavers

6768 search results - page 917 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
RTCSA
2005
IEEE
16 years 8 days ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani
141
Voted
IEEEARES
2008
IEEE
16 years 1 months ago
Effective Monitoring of a Survivable Distributed Networked Information System
In 2002, DARPA put together a challenging proposition to the research community: demonstrate using an existing information system and available DARPA developed and other COTS tech...
Paul Rubel, Michael Atighetchi, Partha Pratim Pal,...
DAC
1996
ACM
15 years 11 months ago
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
Joel R. Philips, Eli Chiprout, David D. Ling
200
Voted
EUROMICRO
2004
IEEE
15 years 10 months ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
FM
2008
Springer
184views Formal Methods» more  FM 2008»
15 years 8 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte