3742 search results - page 509 / 749 » On the Use of Formal Techniques for Validation |
151
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...
194
click to vote
UML
1998
Springer
15 years 10 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
160
click to vote
AIA
2006
15 years 8 months ago
2006
Time series data is usually stored and processed in the form of discrete trajectories of multidimensional measurement points. In order to compare the measurements of a query traje...
189
click to vote
ADHOC
2008
15 years 6 months ago
2008
Caching techniques can be used to reduce bandwidth consumption and data access delay in wireless ad hoc networks. When cache is used, the issue of cache consistency must be addres...
141
click to vote
ESWA
2006
15 years 6 months ago
2006
Predicting box-office receipts of a particular motion picture has intrigued many scholars and industry leaders as a difficult and challenging problem. In this study, the use of ne...