596 search results - page 82 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
156
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
166
click to vote
IS
2008
15 years 6 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
188
click to vote
SIGSOFT
2002
ACM
16 years 6 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
192
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
Multimedia information retrieval systems design is currently considered a complex task since it requires an understanding of users specific way of searching, processing and using ...