4350 search results - page 584 / 870 » Case studies for contract-based systems |
176
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
552
click to vote
EMINDS
2011
15 years 1 months ago
2011
In this paper, we analyze the term ”prospective design” from various perspectives. The theoretical-, research- and empirical-based approximations are centralized. Furthermore, ...
190
Voted
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
241
click to vote
FIT
2010
15 years 1 months ago
2010
Business processes have to adopt the changes driven by the market to remain competitive. This requires improvement of business processes, which can be carried out by understanding...
207
click to vote
HOTNETS
2010
15 years 1 months ago
2010
In this paper, we present network-on-chip (NoC) design and contrast it to traditional network design, highlighting core differences between NoCs and traditional networks. As an in...