2748 search results - page 229 / 550 » Generating Object-Z Specifications from Use Cases |
95
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Without trust, most prudent business operators and clients may decide to forgo use of the Internet and revert back to traditional methods of doing business. To counter this trend,...
104
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
100
Voted
VIS
2009
IEEE
16 years 2 months ago
2009
IEEE
Visualization is essential for understanding the increasing volumes of digital data. However, the process required to create insightful visualizations is involved and time consumin...
109
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
132
click to vote
USS
2004
15 years 2 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...