1153 search results - page 133 / 231 » Compositional Specification Calculus for Information Systems... |
144
Voted
IDA
2002
Springer
15 years 3 months ago
2002
Springer
The ability to identify the mineral composition of rocks and soils is an important tool for the exploration of geological sites. Even though expert knowledge is commonly used for t...
134
Voted
VCIP
2003
15 years 5 months ago
2003
In this paper, we proposed a content-based multimedia analysis/retrieval system basing mainly on the MPEG-7 defined features. Some new and specific features are also included for ...
127
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In spite of the wide use of the Internet, it is difficult to develop desirable web documents evaluation that reflects users’ needs. Many automatic ranking systems have ...
137
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
139
Voted
ICEIS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a metadata-driven approach based on aspect-oriented requirements analysis. This approach has been defined in cooperation with the European Space Agency in the ...