Search Sciweavers | Sciweavers

2152 search results - page 18 / 431

» On Automating the Calculus of Relations

click to vote

CSFW
2010
IEEE

227views Security Privacy» more CSFW 2010»

Automating Open Bisimulation Checking for the Spi Calculus

13 years 10 months ago

Download users.cecs.anu.edu.au

We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...

Alwen Tiu, Jeremy E. Dawson

claim paper

Read More »

click to vote

AIPS
2003

96views Artificial Intelligence» more AIPS 2003»

Automated Planning and Scheduling using Calculus of Variations in Discrete Space

13 years 8 months ago

Download manip.crhc.uiuc.edu

Yixin Chen, Benjamin W. Wah

claim paper

Read More »

click to vote

TIME
2002
IEEE

118views Automated Reasoning» more TIME 2002»

Performance of Querying Temporal Attributes in Object-Relational Databases

14 years 9 days ago

Download www.dbs.uni-hannover.de

Carsten Kleiner, Udo W. Lipeck

claim paper

Read More »

click to vote

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

14 years 9 days ago

Download www.cs.man.ac.uk

Allan Ramsay

claim paper

Read More »

click to vote

LICS
1997
IEEE

100views Automated Reasoning» more LICS 1997»

A Relational Account of Call-by-Value Sequentiality

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers