4418 search results - page 159 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
168
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
The requirements for secure document workflows in enterprises become increasingly sophisticated, with employees performing different tasks under different roles using the same pro...
162
click to vote
AIR
2004
15 years 4 months ago
2004
This paper reviews the current state of the art in Natural Language Processing for Hebrew, both theoretical and practical. The Hebrew language, like other Semitic languages, poses...
156
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
107
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Retrieval and indexing in multimedia databases has been an active topic both in the Information Retrieval and computer vision communities for a long time. In this paper we propose...