1895 search results - page 238 / 379 » Modular Functional Descriptions |
DOCENG
2009
ACM
14 years 2 months ago
2009
ACM
: © Automated Extensible XML Tree Diagrams John Lumley HP Laboratories HPL-2009-137 XSLT, SVG, XML trees, Functional programming XML is a tree-oriented meta-language and visual de...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
ATAL
1998
Springer
14 years 6 days ago
1998
Springer
In this paper, an agent architecture is proposed that can be used to integrate pre-existing components that provide the domain dependent agent functionality. The key integrating fe...
IUSED
2008
13 years 9 months ago
2008
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...