3555 search results - page 649 / 711 » Security-Critical System Development with Extended Use Cases |
117
Voted
WIKIS
2006
ACM
15 years 7 months ago
2006
ACM
Wikis are currently in high demand in a large variety of fields, due to their simplicity and flexible nature. Documentation, reporting, project management, online glossaries and d...
104
click to vote
SC
2003
ACM
15 years 6 months ago
2003
ACM
The need to provide remote visualization of large datasets with adequate levels of quality and interactivity has become a major impediment to distributed collaboration in Computat...
110
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
Information extraction is one of the most important techniques used in Text Mining. One of the main problems in building information extraction (IE) systems is that the knowledge ...
108
click to vote
CADE
2001
Springer
16 years 1 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
104
click to vote
CSEE
2000
Springer
15 years 5 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...