15777 search results - page 2388 / 3156 » Software Engineering |
169
click to vote
ARCS
2005
Springer
16 years 1 months ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...
207
click to vote
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
200
click to vote
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
203
click to vote
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
135
click to vote
FSTTCS
2005
Springer
16 years 29 days ago
2005
Springer
TPTL and MTL are two classical timed extensions of LTL. In this paper, we positively answer a 15-year-old conjecture that TPTL is strictly more expressive than MTL. But we show tha...