Sciweavers

4880 search results - page 306 / 976
» Mechanism Design by Creditability
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Composition by Colimit and Formal Software Development
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
Douglas R. Smith
FLAIRS
2006
15 years 8 months ago
Smart Environment for Smarter Agents in E-Markets
In this paper, we report on experiments with a software multi-agent electronic market where intelligent behaviors are due to both agents internal capabilities and advanced mechani...
Eric Platon
JCM
2006
141views more  JCM 2006»
15 years 6 months ago
CAC and Packet Scheduling Using Token Bucket for IEEE 802.16 Networks
The IEEE 802.16 standard was designed for Wireless Metropolitan Area Network (WMAN). The coverage of this new technology is expanded up to 50 km. IEEE 802.16 also has inherent QoS ...
Tzu-Chieh Tsai, Chi-Hong Jiang, Chuang-Yin Wang
CORR
2002
Springer
135views Education» more  CORR 2002»
15 years 6 months ago
An Architecture for Making Object-Oriented Systems Available from Prolog
It is next to impossible to develop real-life applications in just pure Prolog. With XPCE [5] we realised a mechanism for integrating Prolog with an external object-oriented syste...
Jan Wielemaker, Anjo Anjewierden
SCFBM
2008
129views more  SCFBM 2008»
15 years 6 months ago
Faunus: An object oriented framework for molecular simulation
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
Mikael Lund, Martin Trulsson, Björn Persson