234 search results - page 33 / 47 » Validation of requirement models by automatic prototyping |
100
click to vote
SIGMETRICS
2008
ACM
14 years 10 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
DLOG
2009
14 years 8 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
98
Voted
JUCS
2010
14 years 9 months ago
2010
: In Collaborative Learning, groups of students work together using traditional and computer-based tools or applications. Participants are continuously moving and reorganizing in g...
122
Voted
DOCENG
2011
ACM
13 years 10 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
102
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...