195
click to vote
BIRTHDAY
14 years 10 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 ...
172
click to vote
BIRTHDAY
14 years 10 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...
115
click to vote
BIRTHDAY
15 years 6 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...
117
click to vote
BIRTHDAY
15 years 1 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...
126
click to vote
BIRTHDAY
15 years 2 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