SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
SOFSEM
2009
Springer
14 years 7 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 7 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
SOFSEM
2009
Springer
14 years 9 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 9 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
SOFSEM
2009
Springer
14 years 9 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 9 months ago
2009
Springer
Informationen zum TheorieTag und Abstracts zu den Beitr¨agen finden Sie unter http://www.uni-ulm.de/in/theo/tt56.html.