DAGSTUHL 2007 - PDF Preprint Papers

DAGSTUHL 2007 Scientific Visualization Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DAGSTUHL-2007 Paper

click to vote

DAGSTUHL
2007

257views Software Engineering» more DAGSTUHL 2007»

An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple D

13 years 6 months ago

Download drops.dagstuhl.de

Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...

Susan Darling Urban, Suzanne W. Dietrich, Yi Chen

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.

Related Conferences

Id	Views	Title	Status

1	257	An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams	claim
2	232	Integrated Human Behavior Modeling	claim
3	212	07431 Executive Summary - Computational Issues in Social Choice	claim
4	211	07261 Abstracts Collection -- Fair Division	claim
5	203	Logical Particle Filtering	claim
6	190	An Axiomatic Approach to Personalized Ranking Systems	claim
7	185	Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version	claim
8	180	Exploiting Community Behavior for Enhanced Link Analysis and Web Search	claim
9	179	A Collision-Resistant Rate-1 Double-Block-Length Hash Function	claim
10	178	Programming self developing blob machines for spatial computing.	claim
11	176	BiCEP - Benchmarking Complex Event Processing Systems	claim
12	176	A Case for Deconstructing Hardware Transactional Memory Systems	claim
13	173	Image-Based Motion Compensation for Structured Light Scanning of Dynamic Surfaces	claim
14	162	Directed Feedback Vertex Set Problem is FPT	claim
15	158	Correlation-based Data Representation	claim
16	154	Model-Driven Development for End-Users, too!?	claim
17	153	Interdisciplinary Design Research for End-User Software Engineering	claim
18	153	A Deeper Investigation of PageRank as a Function of the Damping Factor	claim
19	152	An Inner/Outer Stationary Iteration for Computing PageRank	claim
20	151	Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises	claim
21	145	QUAD: Overview and Recent Developments	claim
22	145	Tightness of the Security Bound of CENC	claim
23	144	Meta-User Interfaces for Ambient Spaces: Can Model-Driven-Engineering Help?	claim
24	137	A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning	claim
25	137	From Algebraic Riccati equations to unilateral quadratic matrix equations: old and new algorithms	claim
26	136	Graph matching with type constraints on nodes and edges	claim
27	136	Calculus and Algebra for Distributed Data Management	claim
28	134	BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic	claim
29	133	Norms of Conversation in a Framework for Agent Communication Languages	claim
30	133	07431 Abstracts Collection - Computational Issues in Social Choice	claim
31	132	Subspace outlier mining in large multimedia databases	claim
32	131	Multi-Aspect Tagging for Collaborative Structuring	claim
33	131	Compiler-based Software Power Peak Elimination on Smart Card Systems	claim
34	130	07122 Abstracts Collection - Normative Multi-agent Systems	claim
35	129	Approximating min-max k-clustering	claim
36	129	Block and Stream Ciphers and the Creatures in Between	claim
37	128	Note on parallel universes	claim
38	127	Empirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -	claim
39	127	Exploiting the ASM method within the Model-driven Engineering paradigm	claim
40	126	Choosing Your Beliefs	claim
41	126	07112 Abstracts Collection - Cutting, Packing, Layout and Space Allocation	claim
42	125	The Sinkhorn-Knopp Algorithm: Convergence and Applications	claim
43	125	End-User Development Techniques for Enterprise Resource Planning Software Systems	claim
44	125	What is Input/Output Logic? Input/Output Logic, Constraints, Permissions	claim
45	125	Classical Simulation Complexity of Quantum Branching Programs	claim
46	125	An analytic solution to the alibi query in the bead model for moving object data	claim
47	125	Parallelism through Digital Circuit Design	claim
48	122	Semantic structures for one-stage and iterated belief revision	claim
49	122	ASG - Techniques of Adaptivity	claim
50	121	Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices	claim
51	121	07381 Abstracts Collection -- Cryptography	claim
52	120	Applications of Sensor Networks	claim
53	120	A Game-Theoretic Approach to Normative Multi-Agent Systems	claim
54	120	Local Theory Extensions, Hierarchical Reasoning and Applications to Verification	claim
55	120	Constraint Databases and Geographic Information Systems	claim
56	119	Towards a General Framework for Modelling Roles	claim
57	118	Convergence of iterative aggregation/disaggregation methods based on splittings with cyclic iteration matrices	claim
58	116	Prioritized Conditional Imperatives: Problems and a New Proposal	claim
59	116	Ambient Assisted Living Systems - The Conflicts between Technology, Acceptance, Ethics and Privacy	claim
60	116	Implementing RPO and POLO using SAT	claim
61	115	Homotopy Methods to Compute Equilibria in Game Theory	claim
62	114	Discovering Knowledge from Local Patterns with Global Constraints	claim
63	114	Aging Users are Still Users	claim
64	114	07271 Abstracts Collection - Computational Social Systems and the Internet	claim
65	114	Uniqueness of Optimal Mod 3 Circuits for Parity	claim
66	114	CodeVoting: protecting against malicious vote manipulation at the voter's PC	claim
67	113	Towards a Logic of Graded Normativity and Norm Adherence	claim
68	113	07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents	claim
69	113	Auction Design with Avoidable Fixed Costs: An Experimental Approach	claim
70	113	Weighted Voronoi Region Algorithms for Political Districting	claim
71	113	Civitas: A Secure Remote Voting System	claim
72	111	Sensor Technologies for AL Systems Integrated Health Monitoring and Emergency Call System	claim
73	110	End-User Software Engineering Position Paper	claim
74	110	Two-Dimensional Belief Change	claim
75	109	Designers Need End-User Software Engineering	claim
76	109	Diagonal Circuit Identity Testing and Lower Bounds	claim
77	109	Relevance Matrices in LVQ	claim
78	108	Software Development Support for Ambient Assisted Living	claim
79	108	Thermal Characterization and Thermal Management in Processor-Based Systems	claim
80	108	07281 Abstracts Collection -- Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs	claim
81	108	Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes	claim
82	107	Spatially Distributed Normative Objects	claim
83	107	Learning Probabilistic Relational Dynamics for Multiple Tasks	claim
84	107	Energy Scalability and the RESUME Scalable Video Codec	claim
85	107	Exact Elimination of Cycles in Graphs	claim
86	106	On the Logic of Constitutive Rules	claim
87	106	Equilibria for two parallel links: The strong price of anarchy versus the price of anarchy	claim
88	105	How Fast can be Algebraic Attacks on Block Ciphers?	claim
89	105	Sampling-based Approximation Algorithms for Multi-stage Stochastic Optimization	claim
90	105	Modelling with Relational Calculus of Object and Component Systems - rCOS	claim
91	104	Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic	claim
92	104	Assistive Technology for Successful Aging: Perspectives from Developmental Behavioral and Neuroscience	claim
93	104	Anonymity-Proof Voting Rules	claim
94	104	07021 Abstracts Collection -- Symmetric Cryptography	claim
95	102	Software Architecture Trends and Promising Technology for Ambient Assisted Living Systems	claim
96	102	Parallel universes to improve the diagnosis of cardiac arrhythmias	claim
97	102	07471 Abstracts Collection - Equilibrium Computation	claim
98	101	Data Gathering in Sensor Networks	claim
99	101	Decision Procedures for Loop Detection	claim
100	100	Designing Organizations: Towards a Model	claim
101	100	Measuring Ranks via the Complete Laws of Iterated Contraction	claim
102	100	Approximating Solution Structure	claim
103	99	Dynamic Interactions Between Goals and Beliefs	claim
104	99	A logical formalism for the subjective approach in a multi-agent setting	claim
105	99	Social Comparisons and Contributions to Online Communities: A Field Experiment on MovieLens	claim
106	99	Ubiquitous Nature of Event-Driven Approaches: A Retrospective View	claim
107	99	Advances in pre-processing and model generation for mass spectrometric data analysis	claim
108	97	Policy-based Home Care Systems	claim
109	97	A blueprint for deontic logic in three (not necessarily easy) steps	claim
110	96	Three results on the PageRank vector: eigenstructure, sensitivity, and the derivative	claim
111	96	Incentive Compatible Regression Learning	claim
112	96	07411 Abstracts Collection -- Algebraic Methods in Computational Complexity	claim
113	96	Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures	claim
114	95	Item Pricing for Revenue Maximization in Combinatorial Auctions	claim
115	95	Design and Primitive Specification for Shannon	claim
116	95	Composing Web-service-like abstract state machines (ASM)	claim
117	94	End-user Programming of Ambient Narratives	claim
118	94	Forgetting and Update -- an exploration	claim
119	94	Parallel Universes: Multi-Criteria Optimization	claim
120	94	Learning Vector Quantization: generalization ability and dynamics of competing prototypes	claim
121	93	Normtypologies	claim
122	93	End User Programming for Scientists: Modeling Complex Systems	claim
123	93	An Information-Theoretic Model of Voting Systems	claim
124	93	The Unique Games Conjecture with Entangled Provers is False	claim
125	92	Control Patterns in a Health Care Network	claim
126	92	Nonlinear Approximation and Image Representation using Wavelets	claim
127	92	Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks	claim
128	92	Complete Characterization of Security Protocols by Pattern Refinement	claim
129	91	Assisted Living Systems: Human Factors Considerations	claim
130	91	On the Cost of Shifting Event Processing within Wireless Environments	claim
131	91	07311 Abstracts Collection -- Frontiers of Electronic Voting	claim
132	90	Current results and open questions on PH and MAP characterization	claim
133	90	07151 Abstracts Collection -- Geometry in Sensor Networks	claim
134	89	Meta-Design: A Conceptual Framework for End-User Software Engineering	claim
135	89	Assisting age related capabilities by ambient technology to prevent functional decline	claim
136	89	Directed Feedback Vertex Set is Fixed-Parameter Tractable	claim
137	89	Equilibrium Tracing in Bimatrix Games	claim
138	88	The impact of sensor-enhanced regional health information systems	claim
139	88	On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes	claim
140	88	07091 Abstracts Collection - Mobility, Ubiquity and Security	claim
141	88	KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability	claim
142	87	Some important aspects of Medical and Nursing House Call sustaining Assisted Living of Ageing Population	claim
143	87	Premise Independence in Judgment Aggregation	claim
144	87	Characterizing Coxian Distributions of Algebraic Degree q and Triangular Order p	claim
145	87	Electrocardiogram on Wireless Sensor Nodes	claim
146	86	Interarrival Times Characterization and Fitting for Markovian Traffic Analysis	claim
147	86	07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism	claim
148	85	Signalling Preferences in Interviewing Markets	claim
149	85	07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems	claim
150	85	07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems	claim
151	83	Introduction to Normative Multiagent Systems	claim
152	83	Position statement: Telemonitoring - a too limited view on the wellbeing of the patient	claim
153	83	Probability Logic and Logical Probability	claim
154	83	A Method for Reasoning about other Agents' Beliefs from Observations	claim
155	83	Ranking Revision Reloaded	claim
156	83	Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms	claim
157	83	Model equivalence of PRISM programs	claim
158	83	Component Based Electronic Voting Systems	claim
159	82	Multidamping simulation framework for link-based ranking	claim
160	82	What is an End User Software Engineer?	claim
161	81	Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications	claim
162	80	Propositional Relevance through Letter-Sharing: Review and Contribution	claim
163	80	Structural Sampling for Statistical Software Testing	claim
164	80	Some Recent Results on Pie Cutting	claim
165	80	Better Ways to Cut a Cake - Revisited	claim
166	79	Norms and accountability in multi-agent societies	claim
167	79	Ethical Assessment in the Design of Ambient Assisted Living	claim
168	79	Reference Architecture for Ambient Intelligence	claim
169	79	CoCoME in Fractal	claim
170	78	Gender HCI Issues in End-User Software Engineering Environments	claim
171	78	A Methodology to Improve Dependability in Spreadsheets	claim
172	77	Agents, Norms and Forest Cleaning	claim
173	77	Variational Bayes via Propositionalization	claim
174	77	Programming Manifolds	claim
175	76	Positioning	claim
176	76	A Fast Algorithm for Matrix Balancing	claim
177	76	07081 Abstracts Collection - End-User Software Engineering	claim
178	76	Ten Philosophical Problems in Deontic Logic	claim
179	76	Belief Change and Cryptographic Protocol Verification	claim
180	76	Common Foundations for belief revision, belief merging and voting	claim
181	76	Matrix Analytic Methods in Branching processes	claim
182	75	Erlangian Approximation to Finite Time Ruin Probabilities in Perturbed Risk Models	claim
183	75	On the tail decay of M/G/1-type Markov renewal processes	claim
184	75	Learning in Parallel Universes	claim
185	75	06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis	claim
186	74	Extrapolation and minimization procedures for the PageRank vector	claim
187	74	A policy iteration algorithm for Markov decision processes skip-free in one direction	claim
188	74	Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise	claim
189	73	Topology Control	claim
190	73	Multivariate matrix-exponential distributions	claim
191	72	Stanford Matrix Considered Harmful	claim
192	72	Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications	claim
193	72	07131 Abstracts Collection -- Similarity-based Clustering and its Application to Medicine and Biology	claim
194	72	Discovery of Sensor Network Layout using Connectivity Information	claim
195	72	Service-Oriented Modeling of CoCoME with Focus and AutoFocus	claim
196	71	Functional Changes in Older Adults: Impact on Home Technology Design	claim
197	71	Infrastructure for Smart Cities: The Killer Application for Event-Based Computing	claim
198	71	Why IV Setup for Stream Ciphers is Difficult	claim
199	70	Time Synchronization	claim
200	70	Reliably Capture Local Clusters in Noisy Domains From Parallel Universes	claim
201	70	Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Procedure	claim
202	69	Automist - A Tool for Automated Instruction Set Characterization of Embedded Processors	claim
203	68	Expressing and Verifying Business Contracts with Abductive Logic Programming	claim
204	67	Facility Location	claim
205	66	A practical and secure coercion-resistant scheme for remote elections	claim
206	65	Strategy-proof assignment with a vanishing budget surplus	claim
207	65	Application of verification techniques to inverse monoids	claim
208	64	07391 Abstracts Collection - Probabilistic Methods in the Design and Analysis of Algorithms	claim
209	60	Dependability in Web Software	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers