1992 search results - page 218 / 399 » Model Based Testing with Labelled Transition Systems |
122
Voted
ISM
2008
IEEE
15 years 10 months ago
2008
IEEE
We present the architecture, user interface and prototype implementation of Fluid Voice, a proximity based mobile group communication system for opportunistic social exchanges. It...
132
Voted
WSC
1998
15 years 5 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
123
Voted
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
131
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
134
Voted
CIDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Natural Language Processing (NLP) is being applied for several information extraction tasks in the biomedical domain. The unique nature of clinical information requires the need fo...