1058 search results - page 45 / 212 » MEMOPS: Data modelling and automatic code generation. |
MIR
2006
ACM
14 years 4 months ago
2006
ACM
Automatic keyword annotation is a promising solution to enable more effective image search by using keywords. In this paper, we propose a novel automatic image annotation method b...
ADMA
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
EUROMICRO
1999
IEEE
14 years 3 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
FMOODS
2008
14 years 11 days ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
EMSOFT
2006
Springer
14 years 2 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...