12981 search results - page 2314 / 2597 » Model Checking (Abstract) |
127
click to vote
COOPIS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...
143
click to vote
ICTAI
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract— Polling policies have been introduced to simplify the accessing process in client/server systems by a centralized control access scheme. This paper considers a client/s...
133
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...
127
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—This paper presents results from performance measurements carried out in a Differentiated Services WAN connecting three major cities in Southern Finland. The target of t...
142
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...