3552 search results - page 355 / 711 » Proof theory in the abstract |
209
click to vote
LPAR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
192
click to vote
SAMOS
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a configurable base architecture tailorable for different applications. It allows simple and rapid way to evaluate and prototype large Multi-Processor System-on...
185
click to vote
UIC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
191
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
149
Voted
ETFA
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...