1288 search results - page 209 / 258 » On Analysis of Design Component Contracts: A Case Study |
169
click to vote
AUTOMATICA
2008
15 years 6 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 ...
184
click to vote
CE
2008
15 years 6 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...
163
click to vote
CORR
2007
Springer
15 years 6 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 ...
130
click to vote
SP
2002
IEEE
15 years 6 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...
212
click to vote
PDP
2011
IEEE
14 years 10 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...