Sciweavers

Share
BIRTHDAY
2010
Springer
8 years 1 months ago
Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report
Albert Zündorf, Leif Geiger, Ralf Gemmerich, ...
BIRTHDAY
2010
Springer
8 years 1 months ago
Approximate String Matching with Reduced Alphabet
Abstract. We present a method to speed up approximate string matching by mapping the factual alphabet to a smaller alphabet. We apply the alphabet reduction scheme to a tuned versi...
Leena Salmela, Jorma Tarhio
BIRTHDAY
2010
Springer
8 years 2 months ago
Model-Driven Development with Mechatronic UML
Wilhelm Schäfer, Heike Wehrheim
BIRTHDAY
2010
Springer
8 years 2 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
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
BIRTHDAY
2010
Springer
8 years 2 months ago
Aspects of Data-Intensive Cloud Computing
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
BIRTHDAY
2010
Springer
8 years 2 months ago
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
Holger Giese, Stephan Hildebrandt, Stefan Neumann
BIRTHDAY
2010
Springer
8 years 2 months ago
Reverse Engineering Using Graph Queries
Jürgen Ebert, Daniel Bildhauer
BIRTHDAY
2010
Springer
8 years 2 months ago
Quantitative Simulation Games
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...
BIRTHDAY
2010
Springer
8 years 3 months ago
On Monadic Theories of Monadic Predicates
Pioneers of logic, among them J.R. B
Wolfgang Thomas
books