Search Sciweavers | Sciweavers

2152 search results - page 18 / 431

» On Automating the Calculus of Relations

147

click to vote

CSFW
2010
IEEE

227views Security Privacy» more CSFW 2010»

Automating Open Bisimulation Checking for the Spi Calculus

15 years 7 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

15 years 5 months ago

Download manip.crhc.uiuc.edu

Yixin Chen, Benjamin W. Wah

claim paper

Read More »

115

click to vote

TIME
2002
IEEE

118views Automated Reasoning» more TIME 2002»

Performance of Querying Temporal Attributes in Object-Relational Databases

15 years 9 months ago

Download www.dbs.uni-hannover.de

Carsten Kleiner, Udo W. Lipeck

claim paper

Read More »

102

click to vote

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

15 years 9 months ago

Download www.cs.man.ac.uk

Allan Ramsay

claim paper

Read More »

120

click to vote

LICS
1997
IEEE

100views Automated Reasoning» more LICS 1997»

A Relational Account of Call-by-Value Sequentiality

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers