Sciweavers

16 search results - page 1 / 4

» apn 2005

11

APN
2005
Springer

74views Artificial Intelligence» more APN 2005»

Towards an Algebra for Security Policies

13 years 10 months ago

Towards an Algebra for Security Policies

Download www.cs.cmu.edu

Jonathan D. Pincus, Jeannette M. Wing

claim paper

Read More »

10

APN
2005
Springer

78views Artificial Intelligence» more APN 2005»

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

13 years 10 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 »

11

APN
2005
Springer

109views Artificial Intelligence» more APN 2005»

A Framework to Decompose GSPN Models

13 years 10 months ago

A Framework to Decompose GSPN Models

Download www.pucrs.br

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

claim paper

Read More »

12

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

13 years 10 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 »

14

APN
2005
Springer

106views Artificial Intelligence» more APN 2005»

Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty

13 years 10 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 »