Sciweavers

1746 search results - page 125 / 350
» Residual for Component Specifications
Sort
View
SIGECOM
2008
ACM
143views ECommerce» more  SIGECOM 2008»
15 years 4 months ago
Altruism, selfishness, and spite in traffic routing
In this paper, we study the price of anarchy of traffic routing, under the assumption that users are partially altruistic or spiteful. We model such behavior by positing that the ...
Po-An Chen, David Kempe
PE
2010
Springer
135views Optimization» more  PE 2010»
14 years 11 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
WADT
1999
Springer
15 years 8 months ago
From States to Histories
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
Manfred Broy
GIS
2005
ACM
16 years 5 months ago
Close pair queries in moving object databases
Databases of moving objects are important for air traffic control, ground traffic, and battlefield configurations. We introduce the (historical and spatial) range close-pair query...
Panfeng Zhou, Donghui Zhang, Betty Salzberg, Gene ...
ECAI
2010
Springer
15 years 2 months ago
Behavior-Oriented Commitment-based Protocols
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo