Sciweavers

3481 search results - page 93 / 697
» A New Approach to Component Testing
Sort
View
SCS
2003
14 years 11 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
SAC
2002
ACM
14 years 9 months ago
A modular approach to build structured event-based systems
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
Ludger Fiege, Gero Mühl, Felix C. Gärtne...
DBPL
1999
Springer
125views Database» more  DBPL 1999»
15 years 2 months ago
An Overview of Souk Nets: A Component-Based Paradigm for Data Source Integration
Construction of complex software systems with largely off-the-shelf components has become a reality with the wide availability and acceptance of component frameworks and distribut...
William J. McIver Jr., Karim Keddara, Christian Oc...
FOCS
2009
IEEE
15 years 4 months ago
Local Graph Partitions for Approximation and Testing
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
Avinatan Hassidim, Jonathan A. Kelner, Huy N. Nguy...
68
Voted
ICCAD
2009
IEEE
98views Hardware» more  ICCAD 2009»
14 years 7 months ago
GHM: A generalized Hamiltonian method for passivity test of impedance/admittance descriptor systems
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
Zheng Zhang, Chi-Un Lei, Ngai Wong