4340 search results - page 231 / 868 » Formal Methods and Cryptography |
116
Voted
ICOIN
2001
Springer
15 years 9 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
133
click to vote
MOC
2010
14 years 11 months ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
153
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...
141
Voted
WABI
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...
136
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...