1782 search results - page 228 / 357 » Tool Support for Proof Engineering |
UIST
2006
ACM
14 years 2 months ago
2006
ACM
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
UIST
2005
ACM
14 years 2 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
ECMDAFA
2008
Springer
13 years 10 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
ENTCS
2010
13 years 9 months ago
2010
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
ESWA
2008
13 years 9 months ago
2008
Most of existing ontologies construction tools support construction of ontological relations (e.g. taxonomy, equivalence, etc.) but they do not support construction of domain rela...