3335 search results - page 494 / 667 » A Unified Approach to Modeling and Programming |
154
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
139
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
In modern clustering environments where the memory hierarchy has many layers (distributed memory, shared memory layer, cache, ¡ ¢ ), an important question is how to fully u...
173
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...
154
click to vote
PADL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
164
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...