1288 search results - page 209 / 258 » On Analysis of Design Component Contracts: A Case Study |
104
click to vote
AUTOMATICA
2008
15 years 1 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
116
click to vote
CE
2008
15 years 1 months ago
2008
Taking advantage of the continuously improving, web-based learning systems plays an important role for self-learning, especially in the case of working people. Nevertheless, learn...
115
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
: Collaborative beamforming (CB) and cooperative transmission (CT) have recently emerged as communication techniques that can make effective use of collaborative/cooperative nodes ...
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
The Grid-based Virtual Laboratory AMsterdam (VLAM-G), provides a science portal for distributed analysis in applied scientific research. It offers scientists experiment control, d...
147
click to vote
PDP
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—The peer-to-peer networking concept has revolutionized the cost structure of Internet data dissemination by making large scale content delivery with low server cost feas...