Search Sciweavers | Sciweavers

13140 search results - page 195 / 2628

» Coupling Component Systems towards Systems of Systems

154

click to vote

CIDR
2003

121views Algorithms» more CIDR 2003»

Towards High Performance Peer-to-Peer Content and Resource Sharing Systems

15 years 6 months ago

Download www-db.cs.wisc.edu

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...

claim paper

Read More »

162

click to vote

CADE
2008
Springer

148views Logical Reasoning» more CADE 2008»

Towards SMT Model Checking of Array-Based Systems

16 years 5 months ago

Download homes.dsi.unimi.it

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...

claim paper

Read More »

130

click to vote

SECON
2008
IEEE

111views Communications» more SECON 2008»

A First Step Towards Dynamic Profiling of Sensor-Based Systems

15 years 11 months ago

Download www2.engr.arizona.edu

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

claim paper

Read More »

128

click to vote

ITP
2006

101views Mathematics» more ITP 2006»

Toward a complexity theory of information systems development

15 years 4 months ago