4917 search results - page 624 / 984 » Software Engineering is Not Computer Science |
189
click to vote
FOSSACS
2005
Springer
16 years 10 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...
182
click to vote
FOSSACS
2005
Springer
16 years 10 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...
184
click to vote
FOSSACS
2005
Springer
16 years 10 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...
185
click to vote
FSTTCS
2005
Springer
16 years 10 days ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
148
click to vote
FSTTCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...