4418 search results - page 199 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
131
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
174
click to vote
IAT
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
165
click to vote
DATAMINE
2006
15 years 6 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
179
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Following the tradition of these acceptance talks, I will be giving my thoughts on where our field is going. Any discussion of the future of information retrieval (IR) research, h...
189
click to vote
AIME
2007
Springer
16 years 20 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...