1829 search results - page 65 / 366 » Towards Validation of Requirements Models |
WSC
2008
15 years 2 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
109
click to vote
COSIT
2009
Springer
15 years 6 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
CSREAEEE
2006
15 years 1 months ago
2006
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
108
click to vote
ECWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...