Sciweavers

16 search results - page 1 / 4

» apn 2005

25

APN
2005
Springer

74views Artificial Intelligence» more APN 2005»

Towards an Algebra for Security Policies

14 years 3 months ago

Towards an Algebra for Security Policies

Download www.cs.cmu.edu

Jonathan D. Pincus, Jeannette M. Wing

claim paper

Read More »

25

APN
2005
Springer

78views Artificial Intelligence» more APN 2005»

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

14 years 3 months ago

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

Download www.i3s.unice.fr

Jean-Paul Comet, Hanna Klaudel, Stéphane Li...

claim paper

Read More »

21

APN
2005
Springer

109views Artificial Intelligence» more APN 2005»

A Framework to Decompose GSPN Models

14 years 3 months ago

A Framework to Decompose GSPN Models

Download www.pucrs.br

Leonardo Brenner, Paulo Fernandes, Afonso Sales, T...

claim paper

Read More »

23

APN
2005
Springer

104views Artificial Intelligence» more APN 2005»

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

14 years 3 months ago

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

Download is.tm.tue.nl

Moe Thandar Wynn, David Edmond, Wil M. P. van der ...

claim paper

Read More »

28

APN
2005
Springer

106views Artificial Intelligence» more APN 2005»

Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty

14 years 3 months ago

Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty

Download www.cert.fr

In the framework of the study and analysis of new ﬂight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...

Charles Lesire, Catherine Tessier

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »