111
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
125
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
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...
94
Voted
BIRTHDAY
2010
Springer
15 years 12 days ago
2010
Springer
196
Voted
BIRTHDAY
2010
Springer
15 years 12 days ago
2010
Springer
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...
211
Voted
BIRTHDAY
2010
Springer
15 years 12 days ago
2010
Springer
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 ...
112
Voted
BIRTHDAY
2010
Springer
15 years 12 days ago
2010
Springer
113
Voted
BIRTHDAY
2010
Springer
15 years 12 days ago
2010
Springer
126
Voted
BIRTHDAY
2010
Springer
15 years 12 days ago
2010
Springer
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...
116
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Pioneers of logic, among them J.R. B