858 search results - page 133 / 172 » A Vision for International Standardization in Software and S... |
INDIASE
2009
ACM
14 years 1 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
CCE
2011
13 years 3 months ago
2011
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
ICSEA
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...