4418 search results - page 155 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
155
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The paper develops a generic framework for analyzing knowledge management in formal decision groups and applies it to council work. Requirements are deduced for a sociotechnical s...
160
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
170
click to vote
SPIN
2007
Springer
16 years 15 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
193
click to vote
ISSA
2004
15 years 7 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
142
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
It is well known that the use of a good Machine Transliteration system improves the retrieval performance of Cross-Language Information Retrieval (CLIR) systems when the query and ...