2777 search results - page 425 / 556 » Understanding ontological engineering |
150
Voted
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
135
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Although the results of spreadsheet programs are the base for very important decisions and are subject to many changes, they are only poorly documented. In this paper we introduce...
147
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
123
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
134
click to vote
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...