329 search results - page 52 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
AI
2002
Springer
13 years 8 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
DRM
2006
Springer
14 years 5 days ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
RECOMB
2003
Springer
14 years 8 months ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...
GECCO
2006
Springer
14 years 4 days ago
2006
Springer
The No-Free-Lunch theorems (NFLTs) are criticized for being too general to be of any relevance to the real world scenario. This paper investigates, both formally and empirically, ...