6274 search results - page 208 / 1255 » Proofs, Programs, Processes |
155
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
166
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
156
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
175
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
134
click to vote
EOR
2007
15 years 6 months ago
2007
A multiple objective programming approach for the analytic network process (ANP) is proposed to obtain all local priorities for crisp or interval judgments at one time, even in an...