1823 search results - page 284 / 365 » Formal specification: a roadmap |
JCDL
2006
ACM
14 years 3 months ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
METRICS
2005
IEEE
14 years 2 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
CIS
2005
Springer
14 years 2 months ago
2005
Springer
When considering information security and privacy issues most of the attention has previously focussed on data protection and the privacy of personally identifiable information (PI...