6187 search results - page 1171 / 1238 » Practical Software Measurement |
146
click to vote
SENSYS
2003
ACM
15 years 8 months ago
2003
ACM
The current generation of sensor nodes rely on commodity components. The choice of the radio is particularly important as it impacts not only energy consumption but also software ...
147
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
129
click to vote
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
130
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
147
click to vote
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...