4418 search results - page 17 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
158
click to vote
ECRTS
2006
IEEE
15 years 11 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...
106
click to vote
ATAL
2007
Springer
15 years 11 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...
137
click to vote
COLING
2010
15 years 5 days 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...
124
click to vote
IEEEARES
2009
IEEE
15 years 12 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...
162
click to vote
DEXAW
2006
IEEE
15 years 11 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...