Sciweavers

226 search results - page 18 / 46
» A Framework for Sketch-Based Cooperative Design
Sort
View
RTAS
1998
IEEE
15 years 4 months ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine
SIGOPSE
1998
ACM
15 years 4 months ago
The PerDiS FS: a transactional file system for a distributed persistent store
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...
João Garcia, Paulo Ferreira, Paulo Guedes
INFOCOM
2009
IEEE
15 years 6 months ago
Analysis of Adaptive Incentive Protocols for P2P Networks
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
Ben Q. Zhao, John C. S. Lui, Dah-Ming Chiu
ISCC
2005
IEEE
162views Communications» more  ISCC 2005»
15 years 5 months ago
A JXTA Compliant Framework for Mobile Handheld Devices in Ad Hoc Networks
The availability of powerful personal computers and high bandwidth home connectivity is changing the way users cooperate and exchange information on the network. Peer to peer comp...
Mario Bisignano, Giuseppe Di Modica, Orazio Tomarc...
ACMICEC
2006
ACM
150views ECommerce» more  ACMICEC 2006»
15 years 5 months ago
A framework for managing optimization models for supply chain software agents
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
Jae Kyu Lee, Yong Sik Chang