4359 search results - page 625 / 872 » Automated Pipeline Design |
174
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
169
click to vote
IWPC
1997
IEEE
15 years 10 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
174
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
184
Voted
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
162
click to vote
DSOM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...