4722 search results - page 828 / 945 » Encoding Program Executions |
134
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
147
click to vote
SCOPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
133
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
128
click to vote
TCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
117
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...