Search Sciweavers | Sciweavers

9219 search results - page 186 / 1844

» Dynamics Modeling and Culling

click to vote

MFCS
2005
Springer

83views Theoretical Computer Science» more MFCS 2005»

Adversarial Queueing Model for Continuous Network Dynamics

15 years 9 months ago

Download gsyc.escet.urjc.es

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

claim paper

Read More »

105

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 9 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

click to vote

ICCSA
2004
Springer

96views Applied Computing» more ICCSA 2004»

Dynamically Changing Road Networks - Modelling and Visualization in Real Time

15 years 9 months ago

Download www.psychologie.uni-wuerzburg.de

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

claim paper

Read More »

104

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 9 months ago

Download www.humbertocervantes.net

Humberto Cervantes, Richard S. Hall

claim paper

Read More »

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers