2416 search results - page 44 / 484 » The design and implementation of typed scheme |
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper presents two types of techniques suitable for rate reduction transcoding for wireless video streaming applications. We begin this paper by reviewing existing approaches...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
PCI
2005
Springer
14 years 2 months ago
2005
Springer
MPEG-7 has emerged as the standard for multimedia data content description. As it is in its early age, it tries to evolve towards a direction in which semantic content description ...
AFP
2004
Springer
14 years 2 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...