12981 search results - page 2314 / 2597 » Model Checking (Abstract) |
158
Voted
COOPIS
2000
IEEE
15 years 11 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 ...
174
click to vote
ICTAI
2000
IEEE
15 years 11 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...
184
click to vote
IPPS
2000
IEEE
15 years 11 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...
162
click to vote
LCN
2000
IEEE
15 years 11 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...
177
click to vote
WCRE
2000
IEEE
15 years 11 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...