2004 search results - page 371 / 401 » Comparison of Model Checking Tools for Information Systems |
105
click to vote
JCDL
2004
ACM
15 years 5 months ago
2004
ACM
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...
118
click to vote
ECCB
2005
IEEE
15 years 5 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
LREC
2010
15 years 1 months ago
2010
Lexical resources are basic components of many text processing system devoted to information extraction, question answering or dialogue. In paste years many resources have been de...
137
click to vote
GROUP
1993
ACM
15 years 3 months ago
1993
ACM
The Assistant for Cooperative Work (ASCW) is a powerful system for the management of distributed work. It consists of the Task Manager, the organizational information system TOSCA...
CIA
1999
Springer
15 years 4 months ago
1999
Springer
When we communicate with others in a most primitive way like face-to-face conversation, we normally gather at a common physical place. This physical constraint has been recognized ...