6253 search results - page 574 / 1251 » Use Case Modeling Guidelines |
167
click to vote
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
181
click to vote
ICEBE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a preliminary effort on visualization and analysis of social networks for online marketplaces. We use one of the most popular e-business models, eBay, as a cas...
211
click to vote
ICDAR
2003
IEEE
16 years 18 days ago
2003
IEEE
In this paper, we propose a novel method of building a language model for open-vocabulary Korean word recognition. Due to the complex morphology of Korean, it is inappropriate to ...
205
click to vote
SBACPAD
2003
IEEE
16 years 17 days ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
195
click to vote
FORMATS
2003
Springer
16 years 16 days ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...