2373 search results - page 111 / 475 » On the Theory of Structural Subtyping |
167
click to vote
CALCO
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
154
click to vote
ICWE
2007
Springer
16 years 20 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
170
click to vote
ICTAI
2006
IEEE
16 years 16 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
231
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
135
click to vote
FGR
1996
IEEE
15 years 10 months ago
1996
IEEE
A method for the recovery of the temporal structure and phasesin natural gesture is presented. The work is motivated by recent developments in the theory of natural gesture which ...