199
Voted
BIRTHDAY
14 years 11 months 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 ...
183
click to vote
BIRTHDAY
14 years 11 months 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...
121
Voted
BIRTHDAY
15 years 7 months ago
2010 Springer 
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
130
click to vote
BIRTHDAY
15 years 2 months ago
2010 Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
134
click to vote
BIRTHDAY
15 years 3 months ago
2010 Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
|
Applied Computing