2152 search results - page 5 / 431 » An Abstract Account of Composition |
REFSQ
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
CONCUR
2003
Springer
15 years 2 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
ICNP
2005
IEEE
15 years 3 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
IICAI
2007
14 years 11 months ago
2007
Abstract. The approaches previously used for sentence alignment (sentence length, word correspondence and cognate matching) take into account different aspects of similarity betwe...