5377 search results - page 755 / 1076 » Programming Languages For Interactive Computing |
129
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
156
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
134
click to vote
DSOM
2004
Springer
15 years 10 months ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...
126
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
126
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We introduce the notion of coordination mechanisms to improve the performance in systems with independent selfish and noncolluding agents. The quality of a coordination ...