4335 search results - page 613 / 867 » Ontology Engineering Relationally |
180
click to vote
SCAM
2006
IEEE
16 years 7 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
155
click to vote
SEFM
2006
IEEE
16 years 7 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
165
click to vote
SEFM
2006
IEEE
16 years 7 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
152
click to vote
ECLIPSE
2006
ACM
16 years 6 days ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
148
click to vote
IUI
2006
ACM
16 years 6 days ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...