Sciweavers

9821 search results - page 91 / 1965
» A Framework for the Development of Protocols
Sort
View
MOBIHOC
2008
ACM
14 years 7 months ago
On the need for bidirectional coupling of road traffic microsimulation and network simulation
Simulation of network protocol behavior in Vehicular Ad Hoc Network (VANET) scenarios is strongly demanded for evaluating the applicability of developed network protocols. In this...
Christoph Sommer, Zheng Yao, Reinhard German, Falk...
FTDCS
2003
IEEE
14 years 1 months ago
Service Provisioning and Management in Virtual Private Active Networks
Service providers have been motivated to develop and offer new services to their customers. The key question is what kind of futuristic and practical services customers need. This...
Fábio Luciano Verdi, Edmundo R. M. Madeira
IGPL
2010
117views more  IGPL 2010»
13 years 5 months ago
Executable specification of open multi-agent systems
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
Alexander Artikis, Marek J. Sergot
AISC
2008
Springer
13 years 9 months ago
Symbolic Computation Software Composability
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
Sebastian Freundt, Peter Horn, Alexander Konovalov...
ENTCS
2010
82views more  ENTCS 2010»
13 years 7 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...