Sciweavers

26151 search results - page 223 / 5231
» Parameterized system design
Sort
View
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
15 years 12 months ago
Testing Design of a Social Innovation The Environmental Mitigation Banking System
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
Khalid Saeed, Atsushi Fukuda
ICN
2007
Springer
16 years 22 days ago
Design Issues of Peer-to-Peer Systems for Wireless Ad Hoc Networks
– Peer-to-peer is a popular distributed system. Mobile ad hoc networks and peer-to-peer file sharing systems both lack fixed infrastructure support and hold no a-priori knowledge...
Dewan Tanvir Ahmed, Shervin Shirmohammadi
E4MAS
2005
Springer
16 years 3 days ago
An Environment-Based Methodology to Design Reactive Multi-agent Systems for Problem Solving
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
Olivier Simonin, Franck Gechter
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 12 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
VLDB
1987
ACM
109views Database» more  VLDB 1987»
15 years 10 months ago
The Design of the POSTGRES Storage System
This paper presents the design of the storage system for the POSTGRES data base system under construction at Berkeley. It is novel in several ways. First, the storage manager supp...
Michael Stonebraker