Applied Computing | Sciweavers

Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...

Samuel Kounev, Simon Spinner, Philipp Meier

claim paper

Read More »

68

click to vote

BIRTHDAY
2010
Springer

361views Applied Computing» more BIRTHDAY 2010»

Aspects of Data-Intensive Cloud Computing

13 years 9 months ago

Download www.dvs.tu-darmstadt.de

Abstract. The concept of Cloud Computing is by now at the peak of public attention and adoption. Driven by several economic and technological enablers, Cloud Computing is going to ...

Sebastian Frischbier, Ilia Petrov

claim paper

Read More »

32

click to vote

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent

13 years 9 months ago

Download www.cs.uni-paderborn.de

Holger Giese, Stephan Hildebrandt, Stefan Neumann

claim paper

Read More »

34

click to vote

BIRTHDAY
2010
Springer

112views Applied Computing» more BIRTHDAY 2010»

Reverse Engineering Using Graph Queries

13 years 9 months ago

Download www.cs.uni-paderborn.de

Jürgen Ebert, Daniel Bildhauer

claim paper

Read More »

43

click to vote

BIRTHDAY
2010
Springer

133views Applied Computing» more BIRTHDAY 2010»

Quantitative Simulation Games

13 years 9 months ago

Download pub.ist.ac.at

Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...

Pavol Cerný, Thomas A. Henzinger, Arjun Rad...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers