4418 search results - page 17 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
206
click to vote
ECRTS
2006
IEEE
16 years 1 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...
142
Voted
ATAL
2007
Springer
16 years 1 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...
183
Voted
COLING
2010
15 years 2 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...
162
click to vote
IEEEARES
2009
IEEE
16 years 2 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...
217
click to vote
DEXAW
2006
IEEE
16 years 1 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...