36320 search results - page 7208 / 7264 » From Code to Models |
124
Voted
TC
2008
15 years 2 months ago
2008
Collaborative applications with energy and low-delay constraints are emerging in various networked embedded systems like wireless sensor networks and multimedia terminals. Conventi...
124
Voted
TCOM
2008
15 years 2 months ago
2008
We investigate the use of distributed measurements for estimating and updating the performance of a cellular system. Specifically, we discuss the number and placement of sensors in...
104
click to vote
INTERFACES
2007
15 years 2 months ago
2007
We trace the evolution of the auto component supply chain in India (following the opening of the Indian economy in 1990) using a combination of data on firm and sectoral performan...
140
Voted
ASE
2005
15 years 2 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
109
click to vote
INTR
2007
15 years 2 months ago
2007
Purpose – The purpose of this paper is to investigate different effects of three network externality factors, i.e. local network size, network strength, and total network size, ...