899 search results - page 136 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
ICSE
2000
IEEE-ACM
14 years 8 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
While current search engines serve known-item search such as homepage finding very well, they generally cannot support exploratory search effectively. In exploratory search, user...
DRM
2007
Springer
14 years 2 months ago
2007
Springer
We present a new technique for generating biometric fingerprint hashes, or summaries of information contained in human fingerprints. Our method calculates and aggregates various...
VRML
1999
ACM
14 years 29 days ago
1999
ACM
In this paper we propose a concept for transparent access to VRML state information. Our approach enhances VRML browsers to provide additional functionality instead of placing the...
COMSWARE
2006
IEEE
14 years 2 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...