19979 search results - page 3731 / 3996 » Decision support systems |
170
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the impact of malicious synchronization on computer systems that serve customers periodically. Systems supporting automatic periodic updates are common in web se...
184
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
In Mobile Ad Hoc Networks (MANETs), broadcasting is widely used to support many applications. Several adaptive broadcast schemes have been proposed to reduce the number of rebroadc...
188
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
187
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Abstract E-commerce, web-based booking systems, and on-line auction systems are only a few examples that demonstrate how WWW sites are evolving from hypermedia information reposito...
145
click to vote
ISN
1998
Springer
15 years 10 months ago
1998
Springer
An expectation of a signature system is that a signatory cannot dispute a signature. Aiming at this, the following questions arise: Can documents in electronic commerce on the Inte...