1078 search results - page 128 / 216 » Modelling and Verifying of e-Commerce Systems |
144
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...
161
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
119
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
136
click to vote
DSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
146
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
In wireless sensor networks, localization systems use data from sensors which receive signals from moving targets, measure RSSI, and translate RSSI into the distance between senso...