4418 search results - page 17 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
143
Voted
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
89
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
124
Voted
COLING
2010
14 years 10 months ago
2010
A distributed system is described that reliably mines parallel text from large corpora. The approach can be regarded as cross-language near-duplicate detection, enabled by an init...
109
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
147
Voted
DEXAW
2006
IEEE
15 years 9 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...