746 search results - page 129 / 150 » Formal Analysis of UML-Based Designs |
HVC
2005
Springer
14 years 28 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
DOCENG
2004
ACM
14 years 25 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
MM
2004
ACM
14 years 25 days 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. ...
ASIACRYPT
2004
Springer
14 years 24 days 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...
ATAL
2004
Springer
14 years 24 days ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...