4418 search results - page 43 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
114
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
160
click to vote
SIAMCOMP
2002
15 years 3 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
116
click to vote
IDEAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...
146
click to vote
SEMWIKI
2008
15 years 5 months ago
2008
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
120
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. An approach is presented to guide the benchmarking of invoice analysis systems, a specific, applied subclass of document analysis systems. The state of the art of benchma...