4211 search results - page 603 / 843 » A formal approach to MASQ |
187
click to vote
IWPSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
200
click to vote
MEMOCODE
2007
IEEE
16 years 28 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
170
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
177
click to vote
AI
2007
Springer
16 years 25 days ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
142
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...