1128 search results - page 60 / 226 » Little Engines of Proof |
109
Voted
BTW
2003
Springer
15 years 5 months ago
2003
Springer
Abstract: Query languages for XML such as XPath or XQuery support Boolean retrieval where a query result is a (possibly restructured) subset of XML elements or entire documents tha...
92
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
This experience paper presents observations, lessons learned, and recommendations based on a case study of reuse. The case study is concerned with the development, maturation, and...
112
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
103
Voted
WER
2000
Springer
15 years 4 months ago
2000
Springer
Distributed database design is a complex process that involves a set of distinct aspects for the accomplishment of an adequate data distribution (Buretta 1997). Many of these aspec...
114
Voted
CADUI
2006
15 years 2 months ago
2006
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...