15401 search results - page 2820 / 3081 » Software in Automotive Systems |
199
click to vote
HIPC
2004
Springer
16 years 20 days ago
2004
Springer
Parasitic extraction techniques are used to estimate signal delay in VLSI chips. Inductance extraction is a critical component of the parasitic extraction process in which on-chip ...
174
click to vote
ICT
2004
Springer
16 years 20 days ago
2004
Springer
- Application level active networks provide a way of transforming the current network infrastructure into one where new services and protocols are more easily adopted and utilized ...
235
click to vote
ICWE
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
197
click to vote
IFM
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
209
click to vote
IPSN
2004
Springer
16 years 20 days ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...