Sciweavers

3868 search results - page 486 / 774
» Open Systems in TLA
Sort
View
ICC
2007
IEEE
175views Communications» more  ICC 2007»
16 years 1 months ago
A Framework for Dynamic Spectrum Sharing Between Cognitive Radios
— We consider a cognitive radio system like the future 802.22 networks where license-exempt service providers (SPs) will share a fixed spectrum in a non-interference basis to ea...
Joydeep Acharya, Roy D. Yates
SIES
2007
IEEE
16 years 28 days ago
Architecture and Implementation of an Embedded Wormhole
Abstract— Recent advances in wireless communication technology have opened the way for mobile services and applications. This paper describes ongoing work in the context of the H...
Hugo Ortiz, Antonio Casimiro, Paulo Veríssi...
AOSE
2007
Springer
16 years 26 days ago
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...
CONCUR
2007
Springer
16 years 25 days ago
Pushdown Module Checking with Imperfect Information
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
EPIA
2007
Springer
16 years 25 days ago
Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization
Abstract. This paper presents the development of a bivalve farmer agent interacting with a realistic ecological simulation system. The purpose of the farmer agent is to determine t...
Filipe Cruz, António Pereira, Pedro Valente...