891 search results - page 49 / 179 » Full Abstraction for PCF |
DSN
2011
IEEE
12 years 7 months ago
2011
IEEE
— This paper describes a modeling framework for evaluating the impact of faults on the output of streaming ions. Our model is based on three abstractions: stream operators, strea...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
ATAL
1999
Springer
14 years 22 hour ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
JUCS
2000
13 years 7 months ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...