Sciweavers

265 search results - page 5 / 53

» entcs 2007

54

ENTCS
2007

93views more ENTCS 2007»

Types for Access Control in a Calculus of Mobile Resources

14 years 10 months ago

Types for Access Control in a Calculus of Mobile Resources

Download www.brics.dk

Hans Hüttel, Morten Kühnrich

claim paper

Read More »

39

ENTCS
2007

80views more ENTCS 2007»

SAT-based Abstraction Refinement for Real-time Systems

14 years 10 months ago

SAT-based Abstraction Refinement for Real-time Systems

Download homepages.cwi.nl

Stephanie Kemper, André Platzer

claim paper

Read More »

50

ENTCS
2007

90views more ENTCS 2007»

Model-checking Driven Design of Interactive Systems

14 years 10 months ago

Model-checking Driven Design of Interactive Systems

Download fmis.iist.unu.edu

Antonio Cerone, Norzima Elbegbayan

claim paper

Read More »

65

ENTCS
2007

91views more ENTCS 2007»

Stochastic Concurrent Constraint Programming and Differential Equations

14 years 10 months ago

Stochastic Concurrent Constraint Programming and Differential Equations

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

57

ENTCS
2007

71views more ENTCS 2007»

Building Verification Condition Generators by Compositional Extension

14 years 10 months ago

Building Verification Condition Generators by Compositional Extension

Download www.win.tue.nl

A. J. van Leeuwen

claim paper

Read More »

« Prev « First page 5 / 53 Last » Next »