4418 search results - page 203 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
152
click to vote
OTM
2007
Springer
16 years 19 days ago
2007
Springer
Mobile information systems need to collaborate with each other to provide seamless information access to the user. Information about the user and their context provides the points ...
172
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
Although employees’ expertise has long been regarded as an important asset in organizations at least on a par with capital, goods and documented information, it is only recently...
155
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Update of acoustic and language models is vital to maintain performance of automatic speech recognition (ASR) systems. To alleviate efforts for updating models, we propose a "...
163
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
148
click to vote
BPM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...