2897 search results - page 256 / 580 » Test Case Integration: From Components to Systems |
176
click to vote
ENTCS
2002
15 years 6 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...
184
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
219
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
185
click to vote
IJDAR
2002
15 years 6 months ago
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
193
click to vote
FGCS
2011
15 years 1 months ago
2011
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking prov...