1108 search results - page 74 / 222 » Minimalist Documentation of Frameworks |
264
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...
198
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
149
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
153
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
160
click to vote
JTAER
2008
15 years 6 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...