Sciweavers

11397 search results - page 20 / 2280

» A Relational Abstraction for Functions

23

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

13 years 9 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

18

OOPSLA
2010
Springer

101views Security Privacy» more OOPSLA 2010»

Reasoning about multiple related abstractions with MultiStar

13 years 8 months ago

Reasoning about multiple related abstractions with MultiStar

Download se.ethz.ch

Stephan van Staden, Cristiano Calcagno

claim paper

Read More »

30

IEAAIE
2011
Springer

201views Artificial Intelligence» more IEAAIE 2011»

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions

13 years 1 months ago

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions

Download www.few.vu.nl

Jan Treur

claim paper

Read More »

61

BIOSTEC
2011

247views Healthcare» more BIOSTEC 2011»

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology

12 years 9 months ago

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology

Download emotion.inrialpes.fr

Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, ...

claim paper

Read More »

41

CEFP
2005
Springer

99views Programming Languages» more CEFP 2005»

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

14 years 3 months ago

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

Download www-fp.cs.st-andrews.ac.uk

This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...

Kevin Hammond

claim paper

Read More »

« Prev « First page 20 / 2280 Last » Next »