13717 search results - page 676 / 2744 » Control Systems |
210
click to vote
ENTCS
2002
15 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
230
click to vote
ESOP
2005
Springer
16 years 29 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
180
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a multiagent system that has made the voyage from research project to commercialised product. The purpose for the multiagent system is to dynamically control ...
206
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Reconfigurable computing systems have already shown their abilities to accelerate embedded hardware/ software systems. Since standard processor-based embedded applications have co...
194
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Some of the established approaches to evaluating text clustering algorithms for information retrieval show theoretical flaws. In this paper, we analyze these flaws an...