3473 search results - page 435 / 695 » Aspect-Oriented Programming with C |
184
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
163
click to vote
CIE
2005
Springer
16 years 6 days ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
214
click to vote
CMMR
2005
Springer
16 years 6 days ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
183
click to vote
DAWAK
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 ...
196
click to vote
DSVIS
2005
Springer
16 years 6 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...