Sciweavers

13140 search results - page 195 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
CIDR
2003
121views Algorithms» more  CIDR 2003»
15 years 6 months ago
Towards High Performance Peer-to-Peer Content and Resource Sharing Systems
Peer-to-peer sharing systems are becoming increasingly popular and an exciting new class of innovative, internet-based data management systems. In these systems, users contribute ...
Peter Triantafillou, Chryssani Xiruhaki, Manolis K...
CADE
2008
Springer
16 years 5 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
SECON
2008
IEEE
15 years 11 months ago
A First Step Towards Dynamic Profiling of Sensor-Based Systems
Application specific tuning has been shown to be beneficial for a variety of platforms, sensor-based systems are no exception. However, accurately capturing external stimuli or mo...
Srihari Sridharan, Susan Lysecky
ICEIS
2008
IEEE
15 years 11 months ago
Schema Evolution in Wikipedia - Toward a Web Information System Benchmark
Carlo Curino, Hyun J. Moon, Letizia Tanca, Carlo Z...