9974 search results - page 1647 / 1995 » Software Interconnection Models |
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 ...
172
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
159
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...