Sciweavers

1769 search results - page 93 / 354
» Choice in Dynamic Linking
Sort
View
ASM
2010
ASM
15 years 11 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
ICC
2008
IEEE
167views Communications» more  ICC 2008»
15 years 11 months ago
Traceroute-Based Topology Inference without Network Coordinate Estimation
Abstract— Underlay topology information is important to construct efficient overlay networks. To achieve end-to-end network topology inference among a group of hosts, traceroute...
Xing Jin, Wanqing Tu, S.-H. Gary Chan
INFOCOM
2003
IEEE
15 years 9 months ago
Estimation of Congestion Price Using Probabilistic Packet Marking
Abstract— One key component of recent pricing-based congestion control schemes is an algorithm for probabilistically setting the Explicit Congestion Notification bit at routers ...
Micah Adler, Jin-yi Cai, Jonathan K. Shapiro, Dona...
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 4 months ago
An Analysis of Transaction and Joint-patent Application Networks
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...
Hiroyasu Inoue
MTSR
2007
Springer
15 years 10 months ago
agroXML Enabling Standardized, Platform-Independent Internet Data Exchange in Farm Management Information Systems
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...
Mario Schmitz, Daniel Martini, Martin Kunisch, Han...