Sciweavers

7891 search results - page 965 / 1579
» A Distributed Scheduling Framework
Sort
View
INFOCOM
2009
IEEE
16 years 1 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
188
Voted
COSIT
2009
Springer
146views GIS» more  COSIT 2009»
16 years 1 months ago
Decentralized Time Geography for Ad-Hoc Collaborative Planning
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
Martin Raubal, Stephan Winter, Christopher Dorr
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
16 years 1 months ago
Integration Testing of Composite Applications
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
Liam Peyton, Bernard Stepien, Pierre Seguin
222
Voted
ASIAMS
2007
IEEE
16 years 1 months ago
On Syntactic Composability and Model Reuse
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
Claudia Szabo, Yong Meng Teo
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
16 years 1 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps