1146 search results - page 116 / 230 » Formal Specification Generation from Requirement Documents |
104
click to vote
MIE
2008
14 years 11 months ago
2008
Medical visual information retrieval has been a very active research area over the past ten years as an increasing amount of images is produced digitally and made available in the ...
126
click to vote
DILS
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
ECIS
2001
14 years 11 months ago
2001
This paper examines the key issues in software product and interface localization, including the cost and the specific aspects of software that must be localized, and a methodolog...
101
click to vote
SAFECOMP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
102
click to vote
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
An important aspect of service-centric systems (i.e. systems composed of services) is the ability to support service discovery at run-time in order to cope with unavailable or mal...