4693 search results - page 688 / 939 » Verifying Hybrid Systems |
172
click to vote
ETFA
2006
IEEE
16 years 6 days ago
2006
IEEE
The more the information technologies begin to be incorporated into the industrial productive fabric, the more complex it becomes to organise them. It is vital to implant proactiv...
178
Voted
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
The successful deployment of peer-to-peer (P2P) live video streaming systems has practically demonstrated that it can scale to reliably support a large population of peers. Howeve...
161
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
152
Voted
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
133
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...