4036 search results - page 464 / 808 » Formal Methods |
174
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
200
click to vote
ESORICS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
197
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
190
click to vote
FMCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
143
Voted
ISOLA
2004
Springer
16 years 2 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...