1833 search results - page 298 / 367 » Mechanized Verification with Sharing |
117
click to vote
ECIS
2001
15 years 5 months ago
2001
This paper analyses the structure of the Internet marketplace and the business relationships of key players involved in network services provision. A brief overview of existing pr...
123
click to vote
ECIS
2003
15 years 5 months ago
2003
Knowledge management (KM) plays an increasingly important role in software development. We find that a missed aspect of software development methods is their possibility to play a...
153
click to vote
ISCAPDCS
2001
15 years 5 months ago
2001
In this paper we investigate the network performance of TCP hosts and gateways employing New Reno TCP using a parallel simulator. The gateway adopts the random early detection (RE...
154
click to vote
SIS
2004
15 years 5 months ago
2004
The shift from paper documents to their respective electronic formats is producing important advantages in the functioning of businesses and Public Administrations. However, this s...
131
click to vote
WSC
2001
15 years 5 months ago
2001
To enhance the widespread use of a parallel supply chain simulator, a web front-end that enables access at any time and from any location has been developed. The front-end provide...