4350 search results - page 334 / 870 » Case studies for contract-based systems |
143
Voted
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper introduces video quality analysis for automated video capture and editing. Previously, we proposed an automated video capture and editing system for conversation scenes...
141
click to vote
KES
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
182
Voted
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
193
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
In the past, environmental restrictions on size, weight, and power consumption have severely limited both the processing and storage capacity of embedded signal processing systems...
191
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...