2414 search results - page 325 / 483 » Reasoning Support for OWL-E |
208
click to vote
ISESE
2005
IEEE
16 years 14 days ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
142
Voted
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
168
click to vote
SCAM
2005
IEEE
16 years 13 days ago
2005
IEEE
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
210
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
177
Voted
WOWMOM
2005
ACM
16 years 13 days 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...