1525 search results - page 278 / 305 » Formal Models for Communication-Based Design |
93
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
127
Voted
ASIACRYPT
2004
Springer
15 years 6 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
107
Voted
CIA
2004
Springer
15 years 6 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
127
Voted
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...