Sciweavers

6796 search results - page 357 / 1360
» Java for Embedded Systems
Sort
View
ICCD
2002
IEEE
106views Hardware» more  ICCD 2002»
16 years 1 months ago
A Distributed Computation Platform for Wireless Embedded Sensing
We present a low cost wireless microsensor node architecture for distributed computation and sensing in massively distributed embedded systems. Our design focuses on the developme...
Andreas Savvides, Mani B. Srivastava
TOPLAS
2008
138views more  TOPLAS 2008»
15 years 4 months ago
Decomposing bytecode verification by abstract interpretation
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
SAC
2010
ACM
15 years 11 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
WSC
1997
15 years 5 months ago
An HCFG Model of a Traffic Intersection Specified Using HiMASS-j
The specification of a simulation model of a complex traffic intersection using the Hierarchical Modeling And Simulation System-Java (HiMASS-j) is presented.
Thorsten Daum