Sciweavers

1170 search results - page 86 / 234
» Between ends and fibers
Sort
View
ENTCS
2008
72views more  ENTCS 2008»
14 years 12 months ago
Towards a Notion of Transaction in Graph Rewriting
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
Paolo Baldan, Andrea Corradini, Fernando Luí...
ENTCS
2008
94views more  ENTCS 2008»
14 years 12 months ago
From Reversible to Irreversible Computations
In this paper we study the relation between reversible and irreversible computation applicable to different models of computation -- here we are considering classical and quantum ...
Alexander S. Green, Thorsten Altenkirch
DSS
2006
95views more  DSS 2006»
14 years 12 months ago
On the computability of agent-based workflows
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
Wai Yin Mok, Prashant Palvia, David Paper
ESWA
2006
96views more  ESWA 2006»
14 years 12 months ago
Identifying requirements for communication support: A maturity grid-inspired approach
Communication is a critical success factor in design. It can be seen as the social and cognitive process by which information is selected, messages are exchanged between interacti...
Anja M. Maier, Claudia M. Eckert, P. John Clarkson
CAGD
2007
76views more  CAGD 2007»
14 years 12 months ago
On the degree elevation of B-spline curves and corner cutting
In this paper we prove that the degree elevation of B-spline curves can be interpreted as corner cutting process in theory. We also discover the geometric meaning of the auxiliary...
Guozhao Wang, Chongyang Deng