Search Sciweavers | Sciweavers

9698 search results - page 72 / 1940

» models 2010

127

click to vote

EPEW
2010
Springer

172views Internet Technology» more EPEW 2010»

Compositional Abstraction of PEPA Models for Transient Analysis

15 years 6 months ago

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

140

click to vote

FMICS
2010
Springer

144views Formal Methods» more FMICS 2010»

Formal Analysis of BPMN Models Using Event-B

15 years 6 months ago

Download deploy-eprints.ecs.soton.ac.uk

Jeremy W. Bryans, Wei Wei

claim paper

Read More »

101

click to vote

ICAART
2010
INSTICC

176views Intelligent Agents» more ICAART 2010»

SAM - Semantic Agent Model for SWRL Rule-based Agents

15 years 6 months ago

Download liris.cnrs.fr

Julien Subercaze, Pierre Maret

claim paper

Read More »

138

click to vote

EENERGY
2010

146views Computer Networks» more EENERGY 2010»

A dynamic optimization model for power and performance management of virtualized clusters

15 years 5 months ago

Download www.e-energy.uni-passau.de

Vinicius Petrucci, Orlando Loques, Daniel Moss&eac...

claim paper

Read More »

121

click to vote

ATAL
2010
Springer

123views Intelligent Agents» more ATAL 2010»

Mutual state capability-based role assignment model

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers