2777 search results - page 425 / 556 » Understanding ontological engineering |
192
Voted
KBSE
2003
IEEE
16 years 7 days 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...
172
Voted
WCRE
2003
IEEE
16 years 7 days 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...
193
click to vote
WCRE
2003
IEEE
16 years 7 days 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 ...
167
Voted
WCRE
2003
IEEE
16 years 7 days 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...
179
Voted
AOSD
2003
ACM
16 years 6 days 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...