10159 search results - page 1665 / 2032 » System Design Validation Using Formal Models |
141
click to vote
CCGRID
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper focuses on architecture suitable for largescale simulation system. Based on the scenario of large-scale internet simulation, the grid technology is introduced and a new...
178
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— Implementing a multi-tone (MT) architecture for high-speed backplane electrical links is difficult given the tight power and complexity constraints in this application. This pa...
175
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The aim of our research is to provide a unified model for the composition and management of consumer care services. We identify design, composition, distribution and management as...
181
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Ultra-wideband (UWB) technology is expected to provide high data rate services for future wireless personal area networks (WPANs). The WiMedia Alliance recently has launched it...
168
click to vote
SIAMAM
2008
15 years 6 months ago
2008
This paper generalizes well-established derivations of the radiative transfer equation from first principles to model the energy density of time-dependent and monochromatic high f...