722 search results - page 114 / 145 » Knowledge Management for Terminology-Intensive Applications:... |
108
click to vote
DAIS
2010
15 years 1 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
14 years 11 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
136
click to vote
PROCEDIA
2010
14 years 6 months ago
2010
Ontologies are gaining popularity in many domains as a way of representing, dealing and reasoning with large volumes of information, and they are starting to play a major role in ...
113
click to vote
SOFSEM
2012
Springer
13 years 7 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...