4890 search results - page 625 / 978 » From system specifications to component behavioral models |
212
click to vote
JIIS
2002
15 years 6 months ago
2002
In the traditional setting, text categorization is formulated as a concept learning problem where each instance is a single isolated document. However, this perspective is not appr...
161
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
195
click to vote
CIKM
2005
Springer
16 years 10 days ago
2005
Springer
The structural features of XML components are an extra source of information that should be used in a contentoriented retrieval task on this type of documents. This paper explores...
215
click to vote
ACMICEC
2004
ACM
16 years 6 days ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
181
click to vote
CAISE
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...