Sciweavers

2527 search results - page 175 / 506
» A UML-Based Approach to System Testing
Sort
View
IWSSD
2000
IEEE
15 years 8 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
SEE
1997
Springer
15 years 8 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...
HCI
2007
15 years 5 months ago
Challenges and Solutions of Multilingual and Translingual Information Service Systems
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
Hans Uszkoreit, Feiyu Xu, Weiquan Liu
IJCIA
2008
68views more  IJCIA 2008»
15 years 4 months ago
A Hybrid Estimation of Distribution Algorithm for CDMA Cellular System Design
Abstract: While code division multiple access (CDMA) is becoming a promising cellular communication system, the design for a CDMA cellular system configuration has posed a practica...
Jianyong Sun, Qingfu Zhang, Jin Li, Xin Yao
IVC
2000
68views more  IVC 2000»
15 years 4 months ago
VISATRAM: a real-time vision system for automatic traffic monitoring
This paper presents a novel approach to automatic traffic monitoring using 2D spatiotemporal images. A TV camera is mounted above a highway to monitor the traffic through two slic...
Zhigang Zhu, Guangyou Xu, Bo Yang, Dingji Shi, Xue...