5255 search results - page 312 / 1051 » Formal Methods for Privacy |
161
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
114
click to vote
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...
148
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...
137
click to vote
WABI
2007
Springer
15 years 10 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...
129
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...