3333 search results - page 288 / 667 » Abstract Proof Search |
187
click to vote
SAMOS
2007
Springer
16 years 23 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...
181
click to vote
UIC
2007
Springer
16 years 23 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...
187
click to vote
VMCAI
2007
Springer
16 years 23 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 ...
147
click to vote
ETFA
2006
IEEE
16 years 21 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...
203
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...