Sciweavers

7715 search results - page 1296 / 1543
» Visual Rules Modeling
Sort
View
101
Voted
TLCA
2007
Springer
15 years 9 months ago
Strong Normalization and Equi-(Co)Inductive Types
e type system for the l—m˜d—E™—l™ulus enri™hed with re™urE sive —nd ™ore™ursive fun™tions over equiEindu™tive —nd E™oindu™tive types is presented in whi™h —ll wel...
Andreas Abel
WDAG
2007
Springer
125views Algorithms» more  WDAG 2007»
15 years 9 months ago
Approximating Wardrop Equilibria with Finitely Many Agents
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
Simon Fischer, Lars Olbrich, Berthold Vöcking
114
Voted
CSFW
2006
IEEE
15 years 9 months ago
Decentralized Robustness
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
Stephen Chong, Andrew C. Myers
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 9 months ago
Game Theoretical Analysis of Cooperative Sourcing Scenarios
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
Daniel Beimborn, Hermann-Josef Lamberti, Tim Weitz...
115
Voted
HICSS
2006
IEEE
105views Biometrics» more  HICSS 2006»
15 years 9 months ago
The Impact of Design Moves on Platform Adoption: The Case of Microsoft Windows OS
How soon will firms form alliances with a platform provider? What factors impact the decision and the speed with which firms first move into partnerships with a platform provider ...
Xiang Liu, Chi-Hyon Lee, Bala Iyer
« Prev « First page 1296 / 1543 Last » Next »