2786 search results - page 126 / 558 » A Practical Technique for Process Abstraction |
106
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
167
Voted
GCSE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
130
click to vote
ENTCS
2000
15 years 1 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
130
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
103
click to vote
WCRE
2002
IEEE
15 years 6 months ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...