9006 search results - page 1458 / 1802 » Modeling Software |
147
Voted
ARCS
2005
Springer
15 years 10 months 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...
161
click to vote
CCS
2005
ACM
15 years 10 months 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...
162
click to vote
EGC
2005
Springer
15 years 10 months 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...
133
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
163
Voted
ER
2005
Springer
15 years 10 months 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 ...