9006 search results - page 1458 / 1802 » Modeling Software |
179
click to vote
ARCS
2005
Springer
16 years 7 days ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
211
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
199
click to vote
EGC
2005
Springer
16 years 6 days ago
2005
Springer
This paper is about optimizing Grid application setup by allowing a user to configure a Grid application on her own PC and thereafter migrating the entire application onto the Gri...
163
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
195
click to vote
ER
2005
Springer
16 years 6 days ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...