Sciweavers

826 search results - page 67 / 166
» The Modernization of a Call Center
Sort
View
ISORC
1999
IEEE
14 years 9 days ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann
ICVS
1999
Springer
14 years 9 days ago
ADORE: Adaptive Object Recognition
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
Bruce A. Draper, José Bins, Kyungim Baek
IPPS
1997
IEEE
14 years 7 days ago
An Architecture Workbench for Multicomputers
The large design space of modern computer architectures calls for performance modelling tools to facilitate the evaluation of different alternatives. In this paper, we give an ove...
Andy D. Pimentel, Louis O. Hertzberger
VLDB
1998
ACM
132views Database» more  VLDB 1998»
14 years 7 days ago
Buffering and Read-Ahead Strategies for External Mergesort
The elapsed time for external mergesort is normally dominated by I/O time. This paper is focused on reducing I/O time during the merge phase. Three new buffering and readahead str...
Weiye Zhang, Per-Åke Larson
INFOCOM
1996
IEEE
14 years 5 days ago
Network Security via Reverse Engineering of TCP Code: Vulnerability Analysis and Proposed Solutions
The Transmission Control Protocol Internet Protocol TCP IP 1 suite is a very widely used technique that is employed to interconnect computing facilities in modern network environm...
Biswaroop Guha, Biswanath Mukherjee