748 search results - page 94 / 150 » Automatic Presentations and Semigroup Constructions |
207
click to vote
AOSD
2005
ACM
16 years 11 days ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
168
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...
166
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
190
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
172
click to vote
ICLP
2003
Springer
16 years 13 hour ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...