Search Sciweavers | Sciweavers

9219 search results - page 186 / 1844

» Dynamics Modeling and Culling

113

click to vote

MFCS
2005
Springer

83views Theoretical Computer Science» more MFCS 2005»

Adversarial Queueing Model for Continuous Network Dynamics

15 years 12 months ago

Download gsyc.escet.urjc.es

Maria J. Blesa, Daniel Calzada, Antonio Fern&aacut...

claim paper

Read More »

127

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

15 years 12 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

117

click to vote

ICCSA
2004
Springer

96views Applied Computing» more ICCSA 2004»

Dynamically Changing Road Networks - Modelling and Visualization in Real Time

15 years 12 months ago

Download www.psychologie.uni-wuerzburg.de

Christian Mark, Armin Kaußner, Martin Grein,...

claim paper

Read More »

135

click to vote

ICSE
2004
IEEE-ACM

132views Software Engineering» more ICSE 2004»

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model

15 years 12 months ago

Download www.humbertocervantes.net

Humberto Cervantes, Richard S. Hall

claim paper

Read More »

102

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers