2748 search results - page 160 / 550 » Generating Object-Z Specifications from Use Cases |
107
Voted
CIVR
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. This paper investigates the applicability of high-level semantic features for video retrieval using the benchmarked data from TRECVID 2003 and 2004, addressing the contri...
100
click to vote
EVOW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
103
click to vote
ICSR
2000
Springer
15 years 4 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
116
Voted
ACSD
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...