Sciweavers

7075 search results - page 50 / 1415
» Models and heterogeneous reasoning
Sort
View
EMSOFT
2003
Springer
14 years 3 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
ICCD
2006
IEEE
117views Hardware» more  ICCD 2006»
14 years 6 months ago
System-Level Energy Modeling for Heterogeneous Reconfigurable Chip Multiprocessors
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
Xiaofang Wang, Sotirios G. Ziavras
ATAL
2007
Springer
14 years 4 months ago
Exchanging reputation values among heterogeneous agent reputation models: an experience on ART testbed
In open MAS it is often a problem to achieve agents' interoperability. The heterogeneity of its components turns the establishment of interaction or cooperation among them in...
Anarosa Brandão, Laurent Vercouter, Sara J....
HCW
1999
IEEE
14 years 2 months ago
Communication Modeling of Heterogeneous Networks of Workstations for Performance Characterization of Collective Operations
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...
Mohammad Banikazemi, Jayanthi Sampathkumar, Sandee...
AGILE
2009
Springer
295views GIS» more  AGILE 2009»
14 years 4 months ago
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
Lutz Ross, Jannes Bolling, Jürgen Döllne...