BIRTHDAY 2010 - PDF Preprint Papers

BIRTHDAY 2010 Computation Theory and Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed BIRTHDAY-2010 Paper

click to vote

BIRTHDAY
2010
Springer

361views Applied Computing» more BIRTHDAY 2010»

Aspects of Data-Intensive Cloud Computing

13 years 1 months ago

Download www.dvs.tu-darmstadt.de

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

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	361	Aspects of Data-Intensive Cloud Computing	claim
2	248	QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets	claim
3	234	The Arrow of Time through the Lens of Computing	claim
4	203	Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)	claim
5	192	Counterexample Guided Path Reduction for Static Program Analysis	claim
6	190	Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs	claim
7	182	Programming Inductive Proofs - A New Approach Based on Contextual Types	claim
8	181	Indexing and Searching a Mass Spectrometry Database	claim
9	180	Choiceless Computation and Symmetry	claim
10	179	The Architecture Description Language MoDeL	claim
11	175	Transposition and Time-Scale Invariant Geometric Music Retrieval	claim
12	171	The Edge of Graph Transformation - Graphs for Behavioural Specification	claim
13	167	Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics	claim
14	164	From the Internet of Computers to the Internet of Things	claim
15	162	Automated Proofs for Asymmetric Encryption	claim
16	160	Extended Compact Web Graph Representations	claim
17	160	Termination Graphs for Java Bytecode	claim
18	159	A Parallel Algorithm for Fixed-Length Approximate String-Matching with k-mismatches	claim
19	152	Clustering the Normalized Compression Distance for Influenza Virus Data	claim
20	148	Formal Semantics of a VDM Extension for Distributed Embedded Systems	claim
21	147	Thirteen Definitions of a Stable Model	claim
22	146	DKAL and Z3: A Logic Embedding Experiment	claim
23	146	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules	claim
24	146	Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent	claim
25	143	Towards Declarative Query Scoping in Sensor Networks	claim
26	142	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery	claim
27	140	Finding Reductions Automatically	claim
28	139	Hereditary Zero-One Laws for Graphs	claim
29	139	Model Checking Programmable Router Configurations	claim
30	138	Halting and Equivalence of Program Schemes in Models of Arbitrary Theories	claim
31	138	Model-Driven Development with Mechatronic UML	claim
32	136	Computer Science and State Machines	claim
33	135	Compositionality: Ontology and Mereology of Domains	claim
34	134	Designing Benchmarks for P2P Systems	claim
35	133	Decidable Expansions of Labelled Linear Orderings	claim
36	133	Quantitative Simulation Games	claim
37	131	Specifying and Verifying Organizational Security Properties in First-Order Logic	claim
38	130	From Nondeterministic Suffix Automaton to Lazy Suffix Tree	claim
39	130	Strict Canonical Constructive Systems	claim
40	129	Inferring Loop Invariants Using Postconditions	claim
41	125	Database Theory, Yuri, and Me	claim
42	124	Three Paths to Effectiveness	claim
43	122	Second-Order Programs with Preconditions	claim
44	122	Approximate String Matching with Reduced Alphabet	claim
45	121	Some Thoughts on the Semantics of Biocharts	claim
46	120	A Logic for PTIME and a Parameterized Halting Problem	claim
47	119	On the Power of Play-Out for Scenario-Based Programs	claim
48	119	On Monadic Theories of Monadic Predicates	claim
49	118	Definability of Combinatorial Functions and Their Linear Recurrence Relations	claim
50	117	Distributed SQL Queries with BubbleStorm	claim
51	117	Change Management for Heterogeneous Development Graphs	claim
52	114	Tracking Evidence	claim
53	113	A Scalable Segmented Decision Tree Abstract Domain	claim
54	112	A Logistics Workload for Event Notification Middleware	claim
55	112	Reverse Engineering Using Graph Queries	claim
56	109	Yuri, Logic, and Computer Science	claim
57	102	Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report	claim
58	101	Integration Tools for Consistency Management between Design Documents in Development Processes	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers