4418 search results - page 47 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
152
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
This paper focuses on coordination middleware for distributed applications based on active documents and XML technologies. It introduces the main concepts underlying active docume...
179
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
142
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
– This paper describes a new approach to recognize touching numeral strings. Currently most methods for numeral string recognition require segmenting the string image into separa...
134
click to vote
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
98
Voted
ISI
2005
Springer
15 years 9 months ago
2005
Springer
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...