2004 search results - page 222 / 401 » Comparison of Model Checking Tools for Information Systems |
157
click to vote
LREC
2008
15 years 7 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
149
click to vote
USS
2004
15 years 7 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
166
click to vote
ICTAI
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract— Polling policies have been introduced to simplify the accessing process in client/server systems by a centralized control access scheme. This paper considers a client/s...
133
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
To understand users’ acceptance of the emerging trend of personality-based recommenders (PBR), we evaluated an existing PBR using the technology acceptance model (TAM). We also ...
163
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...