627 search results - page 53 / 126 » integration 1998 |
149
click to vote
COOPIS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
116
click to vote
EUROMICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
155
click to vote
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
128
Voted
INFOCOM
1998
IEEE
15 years 7 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
136
click to vote
RSP
1998
IEEE
15 years 7 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...