1763 search results - page 275 / 353 » A Formalization of Polytime Functions |
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
WECWIS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
SIGECOM
2005
ACM
15 years 3 months ago
2005
ACM
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
When investigating alternative estimates for term discriminativeness, we discovered that relevance information and idf are much closer related than formulated in classical literat...
APN
2005
Springer
15 years 3 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...