4617 search results - page 716 / 924 » Automation of Diagrammatic Reasoning |
150
click to vote
ISCC
2005
IEEE
16 years 24 days ago
2005
IEEE
It is expected that IPv6 multihomed sites will obtain as many global prefixes as direct providers they have, so Traffic Engineering techniques currently used in IPv4 multihomed si...
194
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
222
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
195
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
192
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...