10870 search results - page 2003 / 2174 » Model Checking Programs |
157
click to vote
WCW
2004
Springer
15 years 7 months ago
2004
Springer
As wireless networks increase in popularity, the development of efficient content distribution techniques to meet the growing and constantly changing client demand becomes a necess...
102
Voted
BIBE
2003
IEEE
15 years 7 months ago
2003
IEEE
We examine the organizational impact on phylogenetic databases of the increasing sophistication in the need and use of phylogenetic data. A primary issue is the use of the unnorma...
108
click to vote
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...
114
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
e-Negotiation involves two or more agents multilaterally bargaining for mutual gain, using information technologies in a cooperative problem-solving (CPS) environment. This paper ...
173
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...